Skip to content

Actions: buzden/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lint.yml
245 workflow runs
245 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Support easy collection of information during TTImp traverse Lint the sources #597: Commit 5ec6e10 pushed by buzden
January 15, 2024 13:24 13s alternative-applicative-traversal
alternative-applicative-traversal
January 15, 2024 13:24 13s
[ elab ] Make %runElab expressions to have unrestricted quantity Lint the sources #596: Commit 759f227 pushed by buzden
December 30, 2023 00:02 33s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
December 30, 2023 00:02 33s
[ elab ] Make %runElab expressions to have unrestricted quantity Lint the sources #595: Commit de82e35 pushed by buzden
December 30, 2023 00:00 12s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
December 30, 2023 00:00 12s
[ elab ] Make %runElab expressions to have unrestricted quantity Lint the sources #594: Commit 0be2ae8 pushed by buzden
December 30, 2023 00:00 15s fix-rig-for-runelab-expr
fix-rig-for-runelab-expr
December 30, 2023 00:00 15s
[ workaround ] Workaround the invalid memory reference bug of GC of chez Lint the sources #593: Commit 4b2e04a pushed by buzden
December 29, 2023 23:55 15s memo-lazy
memo-lazy
December 29, 2023 23:55 15s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Lint the sources #592: Commit 66c6972 pushed by buzden
December 29, 2023 23:48 11s fix-show-with-clause
fix-show-with-clause
December 29, 2023 23:48 11s
[ test ] Add tests for GetOpt Lint the sources #591: Commit 89529a0 pushed by buzden
December 29, 2023 23:40 11s nice-getopt-with-errors
nice-getopt-with-errors
December 29, 2023 23:40 11s
[ re #3171 ] Correct mistakenly forgotten to be updated changelog Lint the sources #590: Commit eadd0b4 pushed by buzden
December 29, 2023 23:20 13s re-3171-correct-changelog
re-3171-correct-changelog
December 29, 2023 23:20 13s
[ prelude ] Make able to implement provably total showPrec recursively Lint the sources #589: Commit 563a09d pushed by buzden
December 25, 2023 15:50 15s more-tcinline-in-prelude
more-tcinline-in-prelude
December 25, 2023 15:50 15s
[ cleanup ] Post v0.7.0 cleanup Lint the sources #588: Commit eb5c1b0 pushed by buzden
December 24, 2023 23:34 12s cleanup-after-0.7.0-release
cleanup-after-0.7.0-release
December 24, 2023 23:34 12s
[ cleanup ] Post v0.7.0 cleanup Lint the sources #587: Commit 7fc56b8 pushed by buzden
December 24, 2023 17:09 14s cleanup-after-0.7.0-release
cleanup-after-0.7.0-release
December 24, 2023 17:09 14s
[ cleanup ] Post v0.7.0 cleanup Lint the sources #586: Commit 6dfe04b pushed by buzden
December 24, 2023 17:02 13s cleanup-after-0.7.0-release
cleanup-after-0.7.0-release
December 24, 2023 17:02 13s
[ cleanup ] Post v0.7.0 cleanup Lint the sources #585: Commit 68a2b28 pushed by buzden
December 24, 2023 17:00 14s cleanup-after-0.7.0-release
cleanup-after-0.7.0-release
December 24, 2023 17:00 14s
[ sync ] Synchronise lazy list impl in src/Libraries with base Lint the sources #584: Commit ff70089 pushed by buzden
December 24, 2023 16:28 15s move-lazy-lists-to-base
move-lazy-lists-to-base
December 24, 2023 16:28 15s
[ refactor ] Move lazy lists from contrib to base Lint the sources #583: Commit bb00089 pushed by buzden
December 24, 2023 15:51 13s move-lazy-lists-to-base
move-lazy-lists-to-base
December 24, 2023 15:51 13s
[ refactor ] Move lazy lists from contrib to base Lint the sources #582: Commit 4970a3b pushed by buzden
December 22, 2023 10:50 12s move-lazy-lists-to-base
move-lazy-lists-to-base
December 22, 2023 10:50 12s
[ interpolate ] Implement Interpolation for primitive numeric types Lint the sources #581: Commit 2b4ed49 pushed by buzden
December 22, 2023 10:46 12s interpolation-for-primitive-types
interpolation-for-primitive-types
December 22, 2023 10:46 12s
Update CHANGELOG.md Lint the sources #580: Commit ad29a89 pushed by mattpolzin
December 21, 2023 17:10 14s fix-fread-empty-file
fix-fread-empty-file
December 21, 2023 17:10 14s
[ fix ] Correctly manage the empty file case while reading a file Lint the sources #579: Commit e950a4c pushed by buzden
December 21, 2023 17:06 11s fix-fread-empty-file
fix-fread-empty-file
December 21, 2023 17:06 11s
[ interpolate ] Implement Interpolation for primitive numeric types Lint the sources #578: Commit 81da17a pushed by buzden
December 20, 2023 15:09 15s interpolation-for-primitive-types
interpolation-for-primitive-types
December 20, 2023 15:09 15s
[ interpolate ] Implement Interpolation for primitive numeric types Lint the sources #577: Commit a0d0e5f pushed by buzden
December 20, 2023 14:35 16s interpolation-for-primitive-types
interpolation-for-primitive-types
December 20, 2023 14:35 16s
[ interpolate ] Implement Interpolation for primitive numeric types Lint the sources #576: Commit 1b85158 pushed by buzden
December 20, 2023 14:33 16s interpolation-for-primitive-types
interpolation-for-primitive-types
December 20, 2023 14:33 16s
[ refactor ] Move lazy lists from contrib to base Lint the sources #575: Commit 89b7f30 pushed by buzden
December 20, 2023 11:48 14s move-lazy-lists-to-base
move-lazy-lists-to-base
December 20, 2023 11:48 14s
[ fix ] Parse with-applications at LHS as PWithApp instead of PApp Lint the sources #574: Commit 76cba93 pushed by buzden
December 20, 2023 08:23 13s fix-show-with-clause
fix-show-with-clause
December 20, 2023 08:23 13s
[ fix ] Support waiting for popen2-created processes Lint the sources #573: Commit b495fe8 pushed by buzden
December 19, 2023 20:03 12s make-able-wait-popen2
make-able-wait-popen2
December 19, 2023 20:03 12s