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
199 workflow run results
199 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Generalize Prelude proof helpers Lint Code Base #5218: Pull request #3005 synchronize by madman-bob
June 30, 2023 14:44 2m 18s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:44 2m 18s
Add orBothFalse proof Lint Code Base #5217: Pull request #3006 opened by madman-bob
June 30, 2023 14:17 2m 39s madman-bob:or-both-false
madman-bob:or-both-false
June 30, 2023 14:17 2m 39s
Generalize Prelude proof helpers Lint Code Base #5216: Pull request #3005 opened by madman-bob
June 30, 2023 14:13 2m 17s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:13 2m 17s
Implement Precise Reference Counting for C backend Lint Code Base #5215: Pull request #2989 synchronize by Alex1005a
June 30, 2023 13:09 2m 28s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
June 30, 2023 13:09 2m 28s
Implement Precise Reference Counting for C backend Lint Code Base #5214: Pull request #2989 synchronize by Alex1005a
June 29, 2023 17:36 40m 3s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
June 29, 2023 17:36 40m 3s