Skip to content

Actions: idris-lang/Idris2

Actions

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.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
[ base ] Make foldr1 and foldr1By public Lint Code Base #5295: Commit badf1e9 pushed by gallais
August 7, 2023 07:10 2m 36s main
main
August 7, 2023 07:10 2m 36s
[ fix ] Pin chez v9.5.8a in windows CI Lint Code Base #5293: Commit 3ce8b9f pushed by gallais
August 6, 2023 08:51 2m 11s main
main
August 6, 2023 08:51 2m 11s
[ fix ] Fix pattern match issue with function application in Refl (#3… Lint Code Base #5290: Commit bde1a66 pushed by gallais
August 4, 2023 12:46 2m 32s main
main
August 4, 2023 12:46 2m 32s
[ error ] Improve error messages for Delay &co Lint Code Base #5289: Commit f0f776c pushed by gallais
August 4, 2023 12:39 2m 26s main
main
August 4, 2023 12:39 2m 26s
Erase additional PreorderReasoning arguments Lint Code Base #5287: Commit 3c61471 pushed by gallais
August 4, 2023 12:37 2m 10s main
main
August 4, 2023 12:37 2m 10s
[ fix ] fix scheme002 test on windows Lint Code Base #5284: Commit dc43ce2 pushed by gallais
August 3, 2023 22:16 2m 14s main
main
August 3, 2023 22:16 2m 14s
[ docs ] Fix the formatting warning in the docs Lint Code Base #5277: Commit b7bda5e pushed by gallais
August 1, 2023 11:48 2m 30s main
main
August 1, 2023 11:48 2m 30s
[ fix ] Fixes build broken by #3021 Lint Code Base #5272: Commit b481994 pushed by gallais
August 1, 2023 07:01 2m 46s main
main
August 1, 2023 07:01 2m 46s
feat: even and odd for Nat and Integral (#3021) Lint Code Base #5267: Commit c7abb14 pushed by gallais
July 31, 2023 07:36 2m 34s main
main
July 31, 2023 07:36 2m 34s
[ new ] Fixity access modifier (#3011) Lint Code Base #5265: Commit 1fa6384 pushed by gallais
July 31, 2023 07:35 2m 19s main
main
July 31, 2023 07:35 2m 19s
[ fix ] Only set IDRIS2_PREFIX if it is unset (fixes Issue 3022) (#… Lint Code Base #5263: Commit 51403ab pushed by gallais
July 31, 2023 07:18 2m 17s main
main
July 31, 2023 07:18 2m 17s
Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and De… Lint Code Base #5262: Commit cbbe761 pushed by gallais
July 31, 2023 07:17 2m 19s main
main
July 31, 2023 07:17 2m 19s
Remove decideLTE (#3031) Lint Code Base #5261: Commit 4fcb0fb pushed by gallais
July 27, 2023 07:04 2m 14s main
main
July 27, 2023 07:04 2m 14s
Remove shadowed names in documentation Lint Code Base #5250: Commit 870bc82 pushed by gallais
July 21, 2023 14:38 2m 34s main
main
July 21, 2023 14:38 2m 34s
Merge pull request #3019 from andrevidela/contributing-updates Lint Code Base #5247: Commit 23694c7 pushed by andrevidela
July 18, 2023 16:35 2m 19s main
main
July 18, 2023 16:35 2m 19s
Merge pull request #3007 from stefan-hoeck/constant_fin Lint Code Base #5245: Commit f125278 pushed by andrevidela
July 18, 2023 16:13 2m 12s main
main
July 18, 2023 16:13 2m 12s
[ base ] Add getTermCols and getTermLines to base library and fix pri… Lint Code Base #5242: Commit 8d7791b pushed by mattpolzin
July 18, 2023 14:42 2m 25s main
main
July 18, 2023 14:42 2m 25s
Merge pull request #3017 from dunhamsteve/issue-3016 Lint Code Base #5241: Commit 6be16a3 pushed by andrevidela
July 18, 2023 14:40 2m 46s main
main
July 18, 2023 14:40 2m 46s
docs: typo in list difference documentation (#3018) Lint Code Base #5238: Commit 388d217 pushed by mattpolzin
July 16, 2023 15:39 2m 47s main
main
July 16, 2023 15:39 2m 47s
Revert "Treat unit types as erased in constructors (#3002)" Lint Code Base #5232: Commit 6729fa8 pushed by CodingCellist
July 7, 2023 15:48 2m 22s main
main
July 7, 2023 15:48 2m 22s
Treat unit types as erased in constructors (#3002) Lint Code Base #5229: Commit 677acf0 pushed by Z-snails
July 5, 2023 18:51 2m 21s main
main
July 5, 2023 18:51 2m 21s
improvement: use std lib WellFounded for Sufficient Lint Code Base #5226: Commit 5fd5b1e pushed by gallais
July 5, 2023 15:44 2m 15s main
main
July 5, 2023 15:44 2m 15s
[ papers ] Port the first part of "Deferring the details [...]" by Li… Lint Code Base #5225: Commit 18e8873 pushed by gallais
July 5, 2023 15:43 3m 0s main
main
July 5, 2023 15:43 3m 0s
Update docs copyright notice from 2020 to 2023 (#3001) Lint Code Base #5224: Commit d4a8c95 pushed by gallais
July 5, 2023 15:39 2m 40s main
main
July 5, 2023 15:39 2m 40s
Add orBothFalse proof Lint Code Base #5223: Commit 754f6af pushed by gallais
July 5, 2023 15:36 2m 16s main
main
July 5, 2023 15:36 2m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-07-05 or the other filters available.