Skip to content

Actions: buzden/Idris2

Actions

Bootstrap

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-bootstrap.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ base ] Deprecate toList functions for sorted sets and maps Bootstrap #34: Commit 620fb3b pushed by buzden
September 23, 2024 15:38 7m 40s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:38 7m 40s
[ base ] Implement Foldable and Traversable for Identity Bootstrap #33: Commit 60966be pushed by buzden
August 19, 2024 15:31 7m 44s foldable-identity
foldable-identity
August 19, 2024 15:31 7m 44s
[ experim, revert ] Revert "idris2.ss: support powerpc" Bootstrap #32: Commit 89dfdfb pushed by buzden
July 1, 2024 11:56 7m 39s memo-lazy-experiment
memo-lazy-experiment
July 1, 2024 11:56 7m 39s
[ lazy ] Make weak memoisation to be controlled by codegen directive Bootstrap #31: Commit 634ace2 pushed by buzden
June 27, 2024 13:24 7m 31s memo-lazy
memo-lazy
June 27, 2024 13:24 7m 31s
[ lazy ] Make weak memoisation to be controlled by codegen directive Bootstrap #30: Commit 3ab9948 pushed by buzden
June 5, 2024 16:11 7m 26s memo-lazy
memo-lazy
June 5, 2024 16:11 7m 26s
[ elab ] Make %runElab expressions to have unrestricted quantity Bootstrap #29: Commit 3a2c41c pushed by buzden
May 31, 2024 11:12 7m 15s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
May 31, 2024 11:12 7m 15s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Bootstrap #28: Commit 540d72d pushed by buzden
April 5, 2024 12:59 7m 37s fix-show-with-clause
fix-show-with-clause
April 5, 2024 12:59 7m 37s
[ base ] Add flipped access/update functions for Sorted{Set,Map,DMap} Bootstrap #27: Commit 39a64c0 pushed by buzden
April 3, 2024 12:04 7m 55s flipped-sorted-map-set-funs
flipped-sorted-map-set-funs
April 3, 2024 12:04 7m 55s
[ elab ] Support easy collection of information during TTImp traverse Bootstrap #26: Commit f2c0d17 pushed by buzden
February 12, 2024 21:46 7m 33s alternative-applicative-traversal
alternative-applicative-traversal
February 12, 2024 21:46 7m 33s
[ cleanup ] Do not wrap the mainExpression into lazy in ES backends Bootstrap #25: Commit 693df52 pushed by buzden
February 12, 2024 21:38 8m 30s do-not-wrap-lazy-on-main-expression
do-not-wrap-lazy-on-main-expression
February 12, 2024 21:38 8m 30s
[ ci ] Bump deprecated versions of used CI actions to avoid warnings Bootstrap #24: Commit 87bdf0b pushed by buzden
January 31, 2024 14:18 7m 27s bump-deprecated-actions
bump-deprecated-actions
January 31, 2024 14:18 7m 27s
[ elab ] Make %runElab expressions to have unrestricted quantity Bootstrap #23: Commit 0be2ae8 pushed by buzden
December 30, 2023 00:00 4m 18s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
December 30, 2023 00:00 4m 18s
[ workaround ] Workaround the invalid memory reference bug of GC of chez Bootstrap #22: Commit 4b2e04a pushed by buzden
December 29, 2023 23:55 7m 16s memo-lazy
memo-lazy
December 29, 2023 23:55 7m 16s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Bootstrap #21: Commit 66c6972 pushed by buzden
December 29, 2023 23:48 7m 39s fix-show-with-clause
fix-show-with-clause
December 29, 2023 23:48 7m 39s
[ test ] Add tests for GetOpt Bootstrap #20: Commit 89529a0 pushed by buzden
December 29, 2023 23:40 7m 23s nice-getopt-with-errors
nice-getopt-with-errors
December 29, 2023 23:40 7m 23s
[ re #3171 ] Correct mistakenly forgotten to be updated changelog Bootstrap #19: Commit eadd0b4 pushed by buzden
December 29, 2023 23:20 7m 35s re-3171-correct-changelog
re-3171-correct-changelog
December 29, 2023 23:20 7m 35s
[ refactor ] Move lazy lists from contrib to base Bootstrap #18: Commit bb00089 pushed by buzden
December 24, 2023 15:51 7m 17s move-lazy-lists-to-base
move-lazy-lists-to-base
December 24, 2023 15:51 7m 17s