Skip to content

Actions: idris-lang/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3314 from dunhamsteve/issue-3313 Lint the sources #6298: Commit 02e5468 pushed by andrevidela
June 17, 2024 11:56 11s main
main
June 17, 2024 11:56 11s
List packages improvements (#3318) Lint the sources #6296: Commit e9dfc1c pushed by gallais
June 17, 2024 10:50 15s main
main
June 17, 2024 10:50 15s
Update typedd.rst Lint the sources #6295: Commit ecd6d47 pushed by gallais
June 17, 2024 10:47 10s main
main
June 17, 2024 10:47 10s
Update typedd.rst Lint the sources #6283: Commit 866354f pushed by gallais
June 15, 2024 11:19 14s main
main
June 15, 2024 11:19 14s
[ fix ] case spliting under implicit/auto parameter Lint the sources #6281: Commit 055568b pushed by gallais
June 13, 2024 07:40 14s main
main
June 13, 2024 07:40 14s
Update typedd.rst Lint the sources #6279: Commit f8adee7 pushed by gallais
June 12, 2024 21:32 12s main
main
June 12, 2024 21:32 12s
Lint the sources Lint the sources #6276: by gallais
June 12, 2024 20:04 12s main
main
June 12, 2024 20:04 12s
Add %foreign_impl pragma for augmenting ffi functions (#3303) Lint the sources #6274: Commit 9e84b15 pushed by gallais
June 11, 2024 16:45 16s main
main
June 11, 2024 16:45 16s
Add an option that dumps package details to JSON (#3293) Lint the sources #6272: Commit 88a5328 pushed by gallais
June 11, 2024 10:32 13s main
main
June 11, 2024 10:32 13s
[ new ] added util functions for SortedMap (#3254) Lint the sources #6271: Commit 0174618 pushed by gallais
June 11, 2024 10:05 15s main
main
June 11, 2024 10:05 15s
[ base ] Move most useful and stable parts of Data.Fin.Extra to base Lint the sources #6269: Commit 109033c pushed by gallais
June 11, 2024 09:21 14s main
main
June 11, 2024 09:21 14s
Add pipeline operators (#3284) Lint the sources #6264: Commit 1e6e125 pushed by gallais
June 6, 2024 09:59 13s main
main
June 6, 2024 09:59 13s
fix(base): runtime-erase implicit length argument to Vect's dropElem. Lint the sources #6258: Commit e0b9a02 pushed by gallais
June 5, 2024 14:42 12s main
main
June 5, 2024 14:42 12s
[ fix ] Fix Show of TTImp for functions with with clauses (#2631) Lint the sources #6254: Commit 1522c3a pushed by gallais
June 5, 2024 13:02 16s main
main
June 5, 2024 13:02 16s
[ base ] Add flipped access/update functions for `Sorted{Set,Map,DMap… Lint the sources #6252: Commit 1c588f7 pushed by gallais
June 5, 2024 12:59 15s main
main
June 5, 2024 12:59 15s
refactor(base): move implementation of Data.Vect.nubBy to global scope Lint the sources #6250: Commit 2c128e2 pushed by gallais
June 5, 2024 12:54 13s main
main
June 5, 2024 12:54 13s
[ new ] System.Concurrency.(Linear/Session) (#3294) Lint the sources #6249: Commit bcf8598 pushed by gallais
June 5, 2024 12:53 12s main
main
June 5, 2024 12:53 12s
Doc: Use executable command for opening lib docs Lint the sources #6248: Commit 7a4c9c8 pushed by gallais
June 5, 2024 11:05 12s main
main
June 5, 2024 11:05 12s
fix: typos in "Named Implementations" (#3296) Lint the sources #6247: Commit a236bb7 pushed by gallais
June 5, 2024 11:03 13s main
main
June 5, 2024 11:03 13s
[ base ] Data.SortedSet.leftMost and .rightMost (#3260) Lint the sources #6245: Commit f83ad9c pushed by gallais
June 5, 2024 11:01 11s main
main
June 5, 2024 11:01 11s
clarify toMaybeT docstring Lint the sources #6243: Commit 40d4cd8 pushed by gallais
June 5, 2024 10:59 12s main
main
June 5, 2024 10:59 12s
[ doc ] Update documentation for with Lint the sources #6242: Commit c0ac024 pushed by gallais
June 5, 2024 10:59 12s main
main
June 5, 2024 10:59 12s
[ new ] Data.SnocList.HasLength from compiler libs (#3299) Lint the sources #6241: Commit 004f1fd pushed by gallais
June 5, 2024 10:51 14s main
main
June 5, 2024 10:51 14s
[ doc ] reference intro info on elab Lint the sources #6240: Commit 0742b3b pushed by gallais
June 5, 2024 06:53 17s main
main
June 5, 2024 06:53 17s
fix: typos in "Expressions" Lint the sources #6236: Commit d7d8486 pushed by gallais
June 4, 2024 12:08 13s main
main
June 4, 2024 12:08 13s