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
1,158 workflow runs
1,158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ performance ] make Eq and Ord for Fin run in constant time Lint Code Base #5243: Pull request #3007 synchronize by andrevidela
July 18, 2023 14:46 2m 33s stefan-hoeck:constant_fin
stefan-hoeck:constant_fin
July 18, 2023 14:46 2m 33s
[ 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
[ base ] Add getTermCols and getTermLines to base library and fix pri… Lint Code Base #5240: Pull request #3009 synchronize by dunhamsteve
July 16, 2023 20:17 2m 20s dunhamsteve:term-size
dunhamsteve:term-size
July 16, 2023 20:17 2m 20s
[ fix ] Ensure local defs with no claim are local Lint Code Base #5239: Pull request #3017 synchronize by dunhamsteve
July 16, 2023 16:01 2m 14s dunhamsteve:issue-3016
dunhamsteve:issue-3016
July 16, 2023 16:01 2m 14s
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
docs: typo in list difference documentation Lint Code Base #5237: Pull request #3018 opened by scarf005
July 16, 2023 14:02 2m 15s scarf005:typo-list-diff
scarf005:typo-list-diff
July 16, 2023 14:02 2m 15s
[ fix ] Ensure local defs with no claim are local Lint Code Base #5236: Pull request #3017 opened by dunhamsteve
July 16, 2023 02:28 2m 18s dunhamsteve:issue-3016
dunhamsteve:issue-3016
July 16, 2023 02:28 2m 18s
Fixity access modifier Lint Code Base #5235: Pull request #3011 synchronize by andrevidela
July 11, 2023 12:33 2m 24s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 11, 2023 12:33 2m 24s
Fixity access modifier Lint Code Base #5234: Pull request #3011 opened by andrevidela
July 11, 2023 11:01 2m 24s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 11, 2023 11:01 2m 24s
[ base ] Add getTermCols and getTermLines to base library and fix pri… Lint Code Base #5233: Pull request #3009 opened by dunhamsteve
July 9, 2023 03:06 2m 16s dunhamsteve:term-size
dunhamsteve:term-size
July 9, 2023 03:06 2m 16s
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
Revert "Treat unit types as erased in constructors" (#3002) Lint Code Base #5231: Pull request #3008 opened by CodingCellist
July 7, 2023 15:46 2m 24s revert-3002-unit-elim
revert-3002-unit-elim
July 7, 2023 15:46 2m 24s
Revert "Treat unit types as erased in constructors (#3002)" Lint Code Base #5230: Commit c5ac540 pushed by CodingCellist
July 7, 2023 15:43 2m 39s revert-3002-unit-elim
revert-3002-unit-elim
July 7, 2023 15:43 2m 39s
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
Treat unit types as erased in constructors Lint Code Base #5228: Pull request #3002 synchronize by Z-snails
July 5, 2023 16:05 2m 27s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 16:05 2m 27s
Treat unit types as erased in constructors Lint Code Base #5227: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:58 2m 11s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:58 2m 11s
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
Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and Decls literals Lint Code Base #5222: Pull request #2930 synchronize by gallais
July 5, 2023 15:36 2m 26s madman-bob:from-ttimp
madman-bob:from-ttimp
July 5, 2023 15:36 2m 26s
Generalize Prelude proof helpers Lint Code Base #5221: Commit af3c5fd pushed by gallais
July 5, 2023 15:36 2m 19s main
main
July 5, 2023 15:36 2m 19s
Treat unit types as erased in constructors Lint Code Base #5220: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:06 2m 14s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:06 2m 14s
[ performance ] make Eq and Ord for Fin run in constant time Lint Code Base #5219: Pull request #3007 opened by stefan-hoeck
July 5, 2023 14:04 2m 40s stefan-hoeck:constant_fin
stefan-hoeck:constant_fin
July 5, 2023 14:04 2m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-07-05 or the other filters available.