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

[ fix ] check indentation after = in declarations Lint the sources #6363: Commit 99c6657 pushed by gallais
July 16, 2024 10:07 13s main
main
July 16, 2024 10:07 13s
Merge pull request #3348 from joelberkeley/fromrightleft Lint the sources #6358: Commit 182bcff pushed by andrevidela
July 14, 2024 14:21 13s main
main
July 14, 2024 14:21 13s
Fix annoying warning when running tests on some macOS machines (#3346) Lint the sources #6356: Commit be2ec7d pushed by gallais
July 8, 2024 08:27 14s main
main
July 8, 2024 08:27 14s
idris_support: fix environ for macOS (#3324) Lint the sources #6354: Commit 1931509 pushed by mattpolzin
July 3, 2024 17:04 13s main
main
July 3, 2024 17:04 13s
[ fix ] compile time typecase for functions Lint the sources #6351: Commit efce152 pushed by gallais
July 2, 2024 15:38 17s main
main
July 2, 2024 15:38 17s
[ fix #3339 ] Set the global test locale Lint the sources #6349: Commit 22c25e9 pushed by gallais
July 2, 2024 08:32 20s main
main
July 2, 2024 08:32 20s
[ cleanup ] Make makeFuture to be %foreign, not %extern Lint the sources #6348: Commit c5abf4b pushed by gallais
July 2, 2024 08:31 16s main
main
July 2, 2024 08:31 16s
Support for non-glibc versions of linux (musl, android) Lint the sources #6342: Pull request #3336 opened by spocino
June 29, 2024 23:39 17s spocino:main
spocino:main
June 29, 2024 23:39 17s
[ elab ] Change quantity of the search function's argument to 0 Lint the sources #6341: Commit 57f455d pushed by gallais
June 28, 2024 12:09 16s main
main
June 28, 2024 12:09 16s
[ elab, minor ] Implement Functor for PiInfo Lint the sources #6339: Commit 715a304 pushed by gallais
June 27, 2024 14:51 21s main
main
June 27, 2024 14:51 21s
Add type annotations to monadic bind #3327 (#3329) Lint the sources #6336: Commit f561c78 pushed by gallais
June 27, 2024 11:05 17s main
main
June 27, 2024 11:05 17s
allow buildIdris output to be used as a dependency in other buildIdri… Lint the sources #6335: Commit 0ea7c59 pushed by mattpolzin
June 26, 2024 20:23 15s main
main
June 26, 2024 20:23 15s
Public export Decidable.Decidable.decision Lint the sources #6333: Commit 5f27842 pushed by gallais
June 26, 2024 07:24 14s main
main
June 26, 2024 07:24 14s
Nix buildIdris improvement: precisely target executable (#3330) Lint the sources #6331: Commit 7d33c04 pushed by mattpolzin
June 26, 2024 00:03 15s main
main
June 26, 2024 00:03 15s
Add JSON manipulation functions Lint the sources #6330: Commit 3649821 pushed by mattpolzin
June 25, 2024 15:37 12s main
main
June 25, 2024 15:37 12s
idris_signal: fix static_assert Lint the sources #6329: Commit a45c587 pushed by mattpolzin
June 24, 2024 16:56 12s main
main
June 24, 2024 16:56 12s
idris2.ss: support powerpc (#3326) Lint the sources #6328: Commit a38f1ac pushed by mattpolzin
June 24, 2024 16:49 13s main
main
June 24, 2024 16:49 13s
[ perf ] Use alternative better GC on chez Lint the sources #6324: Commit ce2790d pushed by gallais
June 24, 2024 12:34 13s main
main
June 24, 2024 12:34 13s
[ cleanup ] remove unused code left by previous change Lint the sources #6311: Commit 1a3df3f pushed by mjustus
June 19, 2024 21:21 12s main
main
June 19, 2024 21:21 12s
[ fix ] Fix search around %defaulthints (#3258) Lint the sources #6309: Commit 2994e23 pushed by edwinb
June 18, 2024 14:39 12s main
main
June 18, 2024 14:39 12s
Merge pull request #3306 from dunhamsteve/implicitParam Lint the sources #6307: Commit ddb691b pushed by andrevidela
June 17, 2024 19:03 11s main
main
June 17, 2024 19:03 11s
[ re #3314, #34 ] Tighten the location information for implicits Lint the sources #6305: Commit 0c03002 pushed by gallais
June 17, 2024 15:32 13s main
main
June 17, 2024 15:32 13s
Merge pull request #3315 from andrevidela/fix-3302 Lint the sources #6300: Commit d6b8ab9 pushed by andrevidela
June 17, 2024 13:11 17s main
main
June 17, 2024 13:11 17s
[ fix #72 ] remove the broken modules (#3319) Lint the sources #6299: Commit 3f985bc pushed by gallais
June 17, 2024 12:45 13s main
main
June 17, 2024 12:45 13s
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