Skip to content

Actions: idris-lang/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lint.yml
256 workflow run results
256 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ new ] Quantity for proof in with-clauses (#3415) Lint the sources #6676: Commit 457ca7c pushed by gallais
December 18, 2024 12:36 10s main
main
December 18, 2024 12:36 10s
[ ci ] Make pack-dependent jobs to use bleeding edge Lint the sources #6674: Commit b5f8610 pushed by gallais
December 18, 2024 11:42 12s main
main
December 18, 2024 11:42 12s
[ base ] Add unambiguous kvList function for sorted maps (#3392) Lint the sources #6661: Commit 1316f58 pushed by mattpolzin
December 14, 2024 22:41 11s main
main
December 14, 2024 22:41 11s
Fix reflection of MkFCVal (#3443) Lint the sources #6656: Commit fcac16b pushed by andrevidela
December 12, 2024 23:38 12s main
main
December 12, 2024 23:38 12s
refactor Uninhabited implementation for Elem types (#3412) Lint the sources #6654: Commit a2a262f pushed by mattpolzin
December 12, 2024 20:43 15s main
main
December 12, 2024 20:43 15s
[ new ] totality checking can look under constructors (#3362) Lint the sources #6646: Commit 12e7939 pushed by mattpolzin
December 11, 2024 01:59 11s main
main
December 11, 2024 01:59 11s
[ new ] --exec takes arbitrary expression (#3438) Lint the sources #6644: Commit 8f1f276 pushed by gallais
December 10, 2024 06:09 11s main
main
December 10, 2024 06:09 11s
Error Message Potpourri (#3429) Lint the sources #6635: Commit 826b7eb pushed by mattpolzin
December 8, 2024 15:26 12s main
main
December 8, 2024 15:26 12s
Add between parser combinator (#3414) Lint the sources #6605: Commit ec74792 pushed by andrevidela
December 2, 2024 13:26 11s main
main
December 2, 2024 13:26 11s
[ base ] Add casts between Int and ExitCode (#3432) Lint the sources #6604: Commit 35cbbcc pushed by andrevidela
December 2, 2024 13:24 16s main
main
December 2, 2024 13:24 16s
refactor Uninhabited implementation for Elem types Lint the sources #6601: Pull request #3412 synchronize by CodingCellist
December 2, 2024 09:48 17s ihor-rud:main
ihor-rud:main
December 2, 2024 09:48 17s
WithFC elab (#3423) Lint the sources #6595: Commit d176ab4 pushed by andrevidela
December 1, 2024 22:56 11s main
main
December 1, 2024 22:56 11s
[ fix ] Fix option loss when an optional argument is missed (#3430) Lint the sources #6590: Commit a1bba97 pushed by mattpolzin
December 1, 2024 01:18 13s main
main
December 1, 2024 01:18 13s
Export Idris.Package.build and Idris.Package.check; enhance path norm… Lint the sources #6586: Commit 33c97f9 pushed by Z-snails
November 29, 2024 16:42 14s main
main
November 29, 2024 16:42 14s
[ base ] Harmonise Sorted* in base and compiler's lib Lint the sources #6585: Commit c6dd739 pushed by mattpolzin
November 28, 2024 19:18 11s main
main
November 28, 2024 19:18 11s
refactor Uninhabited implementation for Elem types Lint the sources #6581: Pull request #3412 synchronize by ihor-rud
November 27, 2024 19:19 14s ihor-rud:main
ihor-rud:main
November 27, 2024 19:19 14s
[ base ] Make Nat's NonZero to be an alias for IsSucc (#3405) Lint the sources #6579: Commit 110ffd3 pushed by mattpolzin
November 27, 2024 12:52 15s main
main
November 27, 2024 12:52 15s
fix: help menu for refine command (#3393) Lint the sources #6571: Commit 263d9e8 pushed by mattpolzin
November 24, 2024 21:59 14s main
main
November 24, 2024 21:59 14s
[ fix ] Address some proofs of void via impossible from issues #2250 … Lint the sources #6569: Commit b944062 pushed by andrevidela
November 23, 2024 03:38 1m 3s main
main
November 23, 2024 03:38 1m 3s
[RefC] Object Immortalization and Pre-Generation of Constants (#3242) Lint the sources #6565: Commit f016dad pushed by mattpolzin
November 20, 2024 23:15 16s main
main
November 20, 2024 23:15 16s
refactor Uninhabited implementation for Elem types Lint the sources #6564: Pull request #3412 synchronize by ihor-rud
November 18, 2024 18:14 18s ihor-rud:main
ihor-rud:main
November 18, 2024 18:14 18s
refactor Uninhabited implementation for Elem types Lint the sources #6553: Pull request #3412 opened by ihor-rud
November 14, 2024 19:22 15s ihor-rud:main
ihor-rud:main
November 14, 2024 19:22 15s
WithFC, a datastructure to keep track of locations (#3406) Lint the sources #6551: Commit fc3d2a0 pushed by andrevidela
November 7, 2024 23:43 19s main
main
November 7, 2024 23:43 19s
[ literate ] Support typst in literate Idris (#3403) Lint the sources #6548: Commit 65ff121 pushed by gallais
November 7, 2024 11:56 12s main
main
November 7, 2024 11:56 12s
Merge pull request #3401 from buzden/fixity-in-do Lint the sources #6520: Commit 0659bcc pushed by andrevidela
October 24, 2024 20:25 13s main
main
October 24, 2024 20:25 13s