Skip to content

Actions: idris-lang/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2-and-libs.yml
230 workflow run results
230 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ new ] Quantity for proof in with-clauses (#3415) Idris2 and External Libs #1101: Commit 457ca7c pushed by gallais
December 18, 2024 12:36 43m 36s main
main
December 18, 2024 12:36 43m 36s
[ ci ] Make pack-dependent jobs to use bleeding edge Idris2 and External Libs #1099: Commit b5f8610 pushed by gallais
December 18, 2024 11:42 47m 26s main
main
December 18, 2024 11:42 47m 26s
[ base ] Add unambiguous kvList function for sorted maps (#3392) Idris2 and External Libs #1086: Commit 1316f58 pushed by mattpolzin
December 14, 2024 22:41 41m 8s main
main
December 14, 2024 22:41 41m 8s
Fix reflection of MkFCVal (#3443) Idris2 and External Libs #1081: Commit fcac16b pushed by andrevidela
December 12, 2024 23:38 42m 56s main
main
December 12, 2024 23:38 42m 56s
refactor Uninhabited implementation for Elem types (#3412) Idris2 and External Libs #1079: Commit a2a262f pushed by mattpolzin
December 12, 2024 20:43 41m 45s main
main
December 12, 2024 20:43 41m 45s
[ new ] totality checking can look under constructors (#3362) Idris2 and External Libs #1071: Commit 12e7939 pushed by mattpolzin
December 11, 2024 01:59 20m 32s main
main
December 11, 2024 01:59 20m 32s
[ new ] --exec takes arbitrary expression (#3438) Idris2 and External Libs #1069: Commit 8f1f276 pushed by gallais
December 10, 2024 06:09 42m 3s main
main
December 10, 2024 06:09 42m 3s
Error Message Potpourri (#3429) Idris2 and External Libs #1060: Commit 826b7eb pushed by mattpolzin
December 8, 2024 15:26 41m 2s main
main
December 8, 2024 15:26 41m 2s
Add between parser combinator (#3414) Idris2 and External Libs #1030: Commit ec74792 pushed by andrevidela
December 2, 2024 13:26 42m 23s main
main
December 2, 2024 13:26 42m 23s
[ base ] Add casts between Int and ExitCode (#3432) Idris2 and External Libs #1029: Commit 35cbbcc pushed by andrevidela
December 2, 2024 13:24 2m 34s main
main
December 2, 2024 13:24 2m 34s
refactor Uninhabited implementation for Elem types Idris2 and External Libs #1026: Pull request #3412 synchronize by CodingCellist
December 2, 2024 09:48 15m 19s ihor-rud:main
ihor-rud:main
December 2, 2024 09:48 15m 19s
WithFC elab (#3423) Idris2 and External Libs #1020: Commit d176ab4 pushed by andrevidela
December 1, 2024 22:56 11m 24s main
main
December 1, 2024 22:56 11m 24s
[ fix ] Fix option loss when an optional argument is missed (#3430) Idris2 and External Libs #1015: Commit a1bba97 pushed by mattpolzin
December 1, 2024 01:18 40m 55s main
main
December 1, 2024 01:18 40m 55s
Export Idris.Package.build and Idris.Package.check; enhance path norm… Idris2 and External Libs #1011: Commit 33c97f9 pushed by Z-snails
November 29, 2024 16:42 41m 7s main
main
November 29, 2024 16:42 41m 7s
[ base ] Harmonise Sorted* in base and compiler's lib Idris2 and External Libs #1010: Commit c6dd739 pushed by mattpolzin
November 28, 2024 19:18 40m 12s main
main
November 28, 2024 19:18 40m 12s
refactor Uninhabited implementation for Elem types Idris2 and External Libs #1006: Pull request #3412 synchronize by ihor-rud
November 27, 2024 19:19 40m 17s ihor-rud:main
ihor-rud:main
November 27, 2024 19:19 40m 17s
[ base ] Make Nat's NonZero to be an alias for IsSucc (#3405) Idris2 and External Libs #1004: Commit 110ffd3 pushed by mattpolzin
November 27, 2024 12:52 41m 20s main
main
November 27, 2024 12:52 41m 20s
fix: help menu for refine command (#3393) Idris2 and External Libs #996: Commit 263d9e8 pushed by mattpolzin
November 24, 2024 21:59 39m 33s main
main
November 24, 2024 21:59 39m 33s
[ fix ] Address some proofs of void via impossible from issues #2250 … Idris2 and External Libs #994: Commit b944062 pushed by andrevidela
November 23, 2024 03:38 40m 47s main
main
November 23, 2024 03:38 40m 47s
[RefC] Object Immortalization and Pre-Generation of Constants (#3242) Idris2 and External Libs #990: Commit f016dad pushed by mattpolzin
November 20, 2024 23:15 48m 44s main
main
November 20, 2024 23:15 48m 44s
refactor Uninhabited implementation for Elem types Idris2 and External Libs #989: Pull request #3412 synchronize by ihor-rud
November 18, 2024 18:14 41m 56s ihor-rud:main
ihor-rud:main
November 18, 2024 18:14 41m 56s
refactor Uninhabited implementation for Elem types Idris2 and External Libs #978: Pull request #3412 opened by ihor-rud
November 14, 2024 19:22 49m 34s ihor-rud:main
ihor-rud:main
November 14, 2024 19:22 49m 34s
WithFC, a datastructure to keep track of locations (#3406) Idris2 and External Libs #976: Commit fc3d2a0 pushed by andrevidela
November 7, 2024 23:43 41m 8s main
main
November 7, 2024 23:43 41m 8s
[ literate ] Support typst in literate Idris (#3403) Idris2 and External Libs #973: Commit 65ff121 pushed by gallais
November 7, 2024 11:56 41m 29s main
main
November 7, 2024 11:56 41m 29s
Merge pull request #3401 from buzden/fixity-in-do Idris2 and External Libs #945: Commit 0659bcc pushed by andrevidela
October 24, 2024 20:25 47m 20s main
main
October 24, 2024 20:25 47m 20s