Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
199 workflow run results
199 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3557: Pull request #2791 synchronize by buzden
October 2, 2023 09:09 44s buzden:memo-lazy
buzden:memo-lazy
October 2, 2023 09:09 44s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Sphinx #3556: Commit 46a2dc1 pushed by gallais
October 1, 2023 06:16 35s main
main
October 1, 2023 06:16 35s
Several small changes each not worth its own PR Sphinx #3555: Pull request #3081 synchronize by buzden
September 29, 2023 12:35 39s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 12:35 39s
Several small changes each not worth its own PR Sphinx #3554: Pull request #3081 opened by buzden
September 29, 2023 10:28 37s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 10:28 37s
[ fix ] Fix Show of TTImp for functions with with clauses Sphinx #3553: Pull request #2631 synchronize by buzden
September 26, 2023 11:24 37s buzden:fix-show-with-clause
buzden:fix-show-with-clause
September 26, 2023 11:24 37s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3552: Pull request #2791 synchronize by buzden
September 26, 2023 11:23 44s buzden:memo-lazy
buzden:memo-lazy
September 26, 2023 11:23 44s
[ fix ] support .lidr.md and .lidr.tex extensions (#3071) Sphinx #3551: Commit 46483fd pushed by gallais
September 25, 2023 21:25 32s main
main
September 25, 2023 21:25 32s
[ fix ] Make traverse and friends lazy for LazyList Sphinx #3550: Commit 3886200 pushed by gallais
September 25, 2023 18:51 33s main
main
September 25, 2023 18:51 33s
[ fix ] Make traverse and friends lazy for LazyList Sphinx #3549: Pull request #3076 synchronize by buzden
September 25, 2023 13:04 35s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 25, 2023 13:04 35s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3548: Pull request #3034 synchronize by buzden
September 25, 2023 13:02 34s buzden:macro-without-extension
buzden:macro-without-extension
September 25, 2023 13:02 34s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3547: Pull request #2791 synchronize by buzden
September 24, 2023 16:30 43s buzden:memo-lazy
buzden:memo-lazy
September 24, 2023 16:30 43s
[ base ] Add update functions to sorted maps Sphinx #3546: Commit 6dc06cd pushed by gallais
September 23, 2023 21:47 47s main
main
September 23, 2023 21:47 47s
[ base ] Add update functions to sorted maps Sphinx #3545: Pull request #3080 synchronize by buzden
September 23, 2023 19:30 34s buzden:update-for-map
buzden:update-for-map
September 23, 2023 19:30 34s
[ base ] Add update functions to sorted maps Sphinx #3544: Pull request #3080 synchronize by buzden
September 23, 2023 19:30 40s buzden:update-for-map
buzden:update-for-map
September 23, 2023 19:30 40s
[ base ] Add update functions to sorted maps Sphinx #3543: Pull request #3080 opened by buzden
September 23, 2023 15:12 34s buzden:update-for-map
buzden:update-for-map
September 23, 2023 15:12 34s
[ elab ] Print script's FC in the bad elaboration script error Sphinx #3542: Commit a643e3a pushed by gallais
September 22, 2023 10:55 42s main
main
September 22, 2023 10:55 42s
[ elab ] Print script's FC in the bad elaboration script error Sphinx #3541: Pull request #3079 opened by buzden
September 21, 2023 09:48 45s buzden:print-script-fc-in-badelabscript
buzden:print-script-fc-in-badelabscript
September 21, 2023 09:48 45s
Fix typo in namespace for [bi]traversable composition Sphinx #3540: Commit f6c000e pushed by CodingCellist
September 20, 2023 07:16 38s main
main
September 20, 2023 07:16 38s
Fix typo in namespace for [bi]traversable composition Sphinx #3539: Pull request #3078 opened by joelberkeley
September 19, 2023 17:41 32s joelberkeley:patch-1
joelberkeley:patch-1
September 19, 2023 17:41 32s
[ fix ] Make traverse and friends lazy for LazyList Sphinx #3538: Pull request #3076 opened by buzden
September 15, 2023 14:05 33s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 15, 2023 14:05 33s
[ ci ] re 3067: fix CI on main branch Sphinx #3537: Commit dc79c6d pushed by CodingCellist
September 15, 2023 10:05 32s main
main
September 15, 2023 10:05 32s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #3536: Pull request #2021 synchronize by buzden
September 15, 2023 09:13 35s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
September 15, 2023 09:13 35s
[ ci ] re #3067: fix CI on main branch Sphinx #3535: Pull request #3075 opened by CodingCellist
September 15, 2023 08:42 35s CodingCellist:fix-main-ci-3067
CodingCellist:fix-main-ci-3067
September 15, 2023 08:42 35s
[ fix ] consider nest when guessing scrutinee (#3070) Sphinx #3534: Commit 0029257 pushed by gallais
September 14, 2023 13:29 35s main
main
September 14, 2023 13:29 35s
Implement Precise Reference Counting for C backend Sphinx #3533: Pull request #2989 synchronize by Alex1005a
September 13, 2023 20:51 32s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
September 13, 2023 20:51 32s