Skip to content

Actions: buzden/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Support easy collection of information during TTImp traverse Idris2 and External Libs #126: Commit 5ec6e10 pushed by buzden
January 15, 2024 13:24 1h 4m 24s alternative-applicative-traversal
alternative-applicative-traversal
January 15, 2024 13:24 1h 4m 24s
[ elab ] Make %runElab expressions to have unrestricted quantity Idris2 and External Libs #125: Commit 759f227 pushed by buzden
December 30, 2023 00:02 10m 45s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
December 30, 2023 00:02 10m 45s
[ elab ] Make %runElab expressions to have unrestricted quantity Idris2 and External Libs #124: Commit de82e35 pushed by buzden
December 30, 2023 00:00 2m 47s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
December 30, 2023 00:00 2m 47s
[ elab ] Make %runElab expressions to have unrestricted quantity Idris2 and External Libs #123: Commit 0be2ae8 pushed by buzden
December 30, 2023 00:00 50s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
December 30, 2023 00:00 50s
[ workaround ] Workaround the invalid memory reference bug of GC of chez Idris2 and External Libs #122: Commit 4b2e04a pushed by buzden
December 29, 2023 23:55 55m 22s memo-lazy
memo-lazy
December 29, 2023 23:55 55m 22s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Idris2 and External Libs #121: Commit 66c6972 pushed by buzden
December 29, 2023 23:48 53m 21s fix-show-with-clause
fix-show-with-clause
December 29, 2023 23:48 53m 21s
[ test ] Add tests for GetOpt Idris2 and External Libs #120: Commit 89529a0 pushed by buzden
December 29, 2023 23:40 51m 33s nice-getopt-with-errors
nice-getopt-with-errors
December 29, 2023 23:40 51m 33s
[ re #3171 ] Correct mistakenly forgotten to be updated changelog Idris2 and External Libs #119: Commit eadd0b4 pushed by buzden
December 29, 2023 23:20 52m 54s re-3171-correct-changelog
re-3171-correct-changelog
December 29, 2023 23:20 52m 54s
[ prelude ] Make able to implement provably total showPrec recursively Idris2 and External Libs #118: Commit 563a09d pushed by buzden
December 25, 2023 15:50 54m 25s more-tcinline-in-prelude
more-tcinline-in-prelude
December 25, 2023 15:50 54m 25s
[ cleanup ] Post v0.7.0 cleanup Idris2 and External Libs #117: Commit eb5c1b0 pushed by buzden
December 24, 2023 23:34 52m 57s cleanup-after-0.7.0-release
cleanup-after-0.7.0-release
December 24, 2023 23:34 52m 57s
[ cleanup ] Post v0.7.0 cleanup Idris2 and External Libs #116: Commit 7fc56b8 pushed by buzden
December 24, 2023 17:09 56s cleanup-after-0.7.0-release
cleanup-after-0.7.0-release
December 24, 2023 17:09 56s
[ cleanup ] Post v0.7.0 cleanup Idris2 and External Libs #115: Commit 6dfe04b pushed by buzden
December 24, 2023 17:02 7m 28s cleanup-after-0.7.0-release
cleanup-after-0.7.0-release
December 24, 2023 17:02 7m 28s
[ cleanup ] Post v0.7.0 cleanup Idris2 and External Libs #114: Commit 68a2b28 pushed by buzden
December 24, 2023 17:00 2m 47s cleanup-after-0.7.0-release
cleanup-after-0.7.0-release
December 24, 2023 17:00 2m 47s
[ sync ] Synchronise lazy list impl in src/Libraries with base Idris2 and External Libs #113: Commit ff70089 pushed by buzden
December 24, 2023 16:28 53m 36s move-lazy-lists-to-base
move-lazy-lists-to-base
December 24, 2023 16:28 53m 36s
[ refactor ] Move lazy lists from contrib to base Idris2 and External Libs #112: Commit bb00089 pushed by buzden
December 24, 2023 15:51 37m 3s move-lazy-lists-to-base
move-lazy-lists-to-base
December 24, 2023 15:51 37m 3s
[ refactor ] Move lazy lists from contrib to base Idris2 and External Libs #111: Commit 4970a3b pushed by buzden
December 22, 2023 10:50 1h 0m 56s move-lazy-lists-to-base
move-lazy-lists-to-base
December 22, 2023 10:50 1h 0m 56s
[ interpolate ] Implement Interpolation for primitive numeric types Idris2 and External Libs #110: Commit 2b4ed49 pushed by buzden
December 22, 2023 10:46 1h 1m 34s interpolation-for-primitive-types
interpolation-for-primitive-types
December 22, 2023 10:46 1h 1m 34s
[ fix ] Correctly manage the empty file case while reading a file Idris2 and External Libs #109: Commit e950a4c pushed by buzden
December 21, 2023 17:06 57m 8s fix-fread-empty-file
fix-fread-empty-file
December 21, 2023 17:06 57m 8s
[ interpolate ] Implement Interpolation for primitive numeric types Idris2 and External Libs #108: Commit 81da17a pushed by buzden
December 20, 2023 15:09 1h 8m 17s interpolation-for-primitive-types
interpolation-for-primitive-types
December 20, 2023 15:09 1h 8m 17s
[ interpolate ] Implement Interpolation for primitive numeric types Idris2 and External Libs #107: Commit a0d0e5f pushed by buzden
December 20, 2023 14:35 34m 30s interpolation-for-primitive-types
interpolation-for-primitive-types
December 20, 2023 14:35 34m 30s
[ interpolate ] Implement Interpolation for primitive numeric types Idris2 and External Libs #106: Commit 1b85158 pushed by buzden
December 20, 2023 14:33 2m 4s interpolation-for-primitive-types
interpolation-for-primitive-types
December 20, 2023 14:33 2m 4s
[ refactor ] Move lazy lists from contrib to base Idris2 and External Libs #105: Commit 89b7f30 pushed by buzden
December 20, 2023 11:48 1h 7m 39s move-lazy-lists-to-base
move-lazy-lists-to-base
December 20, 2023 11:48 1h 7m 39s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Idris2 and External Libs #104: Commit 76cba93 pushed by buzden
December 20, 2023 08:23 1h 5m 3s fix-show-with-clause
fix-show-with-clause
December 20, 2023 08:23 1h 5m 3s
[ fix ] Support waiting for popen2-created processes Idris2 and External Libs #103: Commit b495fe8 pushed by buzden
December 19, 2023 20:03 1h 3m 43s make-able-wait-popen2
make-able-wait-popen2
December 19, 2023 20:03 1h 3m 43s
[ fix ] Support waiting for popen2-created processes Idris2 and External Libs #102: Commit 135afdf pushed by buzden
December 19, 2023 19:45 18m 36s make-able-wait-popen2
make-able-wait-popen2
December 19, 2023 19:45 18m 36s