Skip to content

Actions: idris-lang/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
[ cleanup ] remove duplicate copy of header parsing (#3122) Lint the sources #5602: Commit 73507a8 pushed by gallais
October 27, 2023 12:08 21s main
main
October 27, 2023 12:08 21s
[ ci ] Run a brew update during ci Lint the sources #5596: Commit 58ec72e pushed by gallais
October 27, 2023 06:55 16s main
main
October 27, 2023 06:55 16s
[ elab ] Add an ability to inspect in which function we currently are Lint the sources #5593: Commit 5f29b0b pushed by gallais
October 26, 2023 14:42 16s main
main
October 26, 2023 14:42 16s
[ doc ] Improve the landing page (#3119) Lint the sources #5588: Commit 9f93d4c pushed by gallais
October 26, 2023 09:35 24s main
main
October 26, 2023 09:35 24s
[ warning ] for incompatible visibilities on forward decls and defini… Lint the sources #5585: Commit ea093ff pushed by gallais
October 25, 2023 10:24 20s main
main
October 25, 2023 10:24 20s
[ base ] Implement a bunch of standard interfaces for Data.These (#… Lint the sources #5584: Commit 305604d pushed by gallais
October 25, 2023 10:15 17s main
main
October 25, 2023 10:15 17s
[ ci ] Update deploy-action in ci-idris2-and-libs.yml (#3115) Lint the sources #5574: Commit 46be3b8 pushed by gallais
October 23, 2023 14:26 20s main
main
October 23, 2023 14:26 20s
Switch from 'fast' string functions to normal string functions Lint the sources #5568: Commit 4097e6c pushed by gallais
October 23, 2023 11:01 17s main
main
October 23, 2023 11:01 17s
[ doc ] Document failing blocks (#3114) Lint the sources #5567: Commit fcecb16 pushed by gallais
October 23, 2023 10:40 14s main
main
October 23, 2023 10:40 14s
Switch from 'fast' string functions to normal string functions Lint the sources #5565: Pull request #3111 opened by rvs314
October 19, 2023 19:52 19s rvs314:main
rvs314:main
October 19, 2023 19:52 19s
Use do notation in some Lint the sources #5563: Commit f694e5e pushed by gallais
October 19, 2023 07:45 18s main
main
October 19, 2023 07:45 18s
[ ux ] Make isType fail with positioned errors Lint the sources #5557: Commit 6c35157 pushed by gallais
October 17, 2023 17:05 18s main
main
October 17, 2023 17:05 18s
[ base ] Implement Zippable for several standard types + small cleanup Lint the sources #5553: Commit 2358a74 pushed by gallais
October 16, 2023 21:41 16s main
main
October 16, 2023 21:41 16s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… Lint the sources #5549: Commit 7c8076c pushed by gallais
October 16, 2023 08:49 18s main
main
October 16, 2023 08:49 18s
[ fix ] Prevent relative path traversal in elaborator scripts Lint the sources #5548: Commit 3e5d8a5 pushed by gallais
October 16, 2023 08:43 22s main
main
October 16, 2023 08:43 22s
[ fix #3097 ] Fix issues parsing %logging followed by named impls (#3… Lint the sources #5544: Commit c04404a pushed by gallais
October 13, 2023 18:03 15s main
main
October 13, 2023 18:03 15s
[ impl ] Support default implicits in named implementations (#3100) Lint the sources #5542: Commit 419a440 pushed by gallais
October 13, 2023 14:26 19s main
main
October 13, 2023 14:26 19s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to `fo… Lint the sources #5541: Commit f2a9507 pushed by gallais
October 13, 2023 14:26 19s main
main
October 13, 2023 14:26 19s
[ new ] add Data.List.grouped function (#3089) Lint the sources #5540: Commit 7fbbb03 pushed by gallais
October 13, 2023 12:48 14s main
main
October 13, 2023 12:48 14s
[ base ] Add a bridge between MonadState and Ref Lint the sources #5539: Commit f7d4b7f pushed by gallais
October 13, 2023 12:47 14s main
main
October 13, 2023 12:47 14s
[ elab ] Implement file operations, e.g. applicable for type providers Lint the sources #5536: Commit 6815aef pushed by gallais
October 13, 2023 12:26 16s main
main
October 13, 2023 12:26 16s
[ elab ] Make %macro-function be callable without the extension Lint the sources #5530: Commit cbbd0c8 pushed by gallais
October 11, 2023 12:20 31s main
main
October 11, 2023 12:20 31s
Lint the sources Lint the sources #5520: by gallais
October 9, 2023 14:04 18s main
main
October 9, 2023 14:04 18s
[ elab ] Implement Ord for Count Lint the sources #5513: Commit 1256ded pushed by gallais
October 4, 2023 15:31 27s main
main
October 4, 2023 15:31 27s
[ re #3066 ] Make the rest of tests to use the same form as the others Lint the sources #5510: Commit a5b0274 pushed by gallais
October 4, 2023 13:34 19s main
main
October 4, 2023 13:34 19s