Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
202 workflow run results
202 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add orBothFalse proof Lint the sources #5304: Commit 754f6af pushed by gallais
July 5, 2023 15:36 13s main
main
July 5, 2023 15:36 13s
Add orBothFalse proof Sphinx #3362: Commit 754f6af pushed by gallais
July 5, 2023 15:36 34s main
main
July 5, 2023 15:36 34s
Add orBothFalse proof Idris2 #3173: Commit 754f6af pushed by gallais
July 5, 2023 15:36 6m 31s main
main
July 5, 2023 15:36 6m 31s
Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and Decls literals Sphinx #3361: Pull request #2930 synchronize by gallais
July 5, 2023 15:36 41s madman-bob:from-ttimp
madman-bob:from-ttimp
July 5, 2023 15:36 41s
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
Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and Decls literals Idris2 #3172: Pull request #2930 synchronize by gallais
July 5, 2023 15:36 1h 16m 24s madman-bob:from-ttimp
madman-bob:from-ttimp
July 5, 2023 15:36 1h 16m 24s
Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and Decls literals Lint the sources #5303: Pull request #2930 synchronize by gallais
July 5, 2023 15:36 13s madman-bob:from-ttimp
madman-bob:from-ttimp
July 5, 2023 15:36 13s
Generalize Prelude proof helpers Idris2 #3171: Commit af3c5fd pushed by gallais
July 5, 2023 15:36 1m 3s main
main
July 5, 2023 15:36 1m 3s
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
Generalize Prelude proof helpers Sphinx #3360: Commit af3c5fd pushed by gallais
July 5, 2023 15:36 37s main
main
July 5, 2023 15:36 37s
Generalize Prelude proof helpers Lint the sources #5302: Commit af3c5fd pushed by gallais
July 5, 2023 15:36 13s main
main
July 5, 2023 15:36 13s
Treat unit types as erased in constructors Lint the sources #5301: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:06 14s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:06 14s
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
Treat unit types as erased in constructors Idris2 #3170: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:06 52m 21s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:06 52m 21s
Treat unit types as erased in constructors Sphinx #3359: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:06 36s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:06 36s
[ performance ] make Eq and Ord for Fin run in constant time Idris2 #3169: Pull request #3007 opened by stefan-hoeck
July 5, 2023 14:04 1h 5m 23s stefan-hoeck:constant_fin
stefan-hoeck:constant_fin
July 5, 2023 14:04 1h 5m 23s
[ performance ] make Eq and Ord for Fin run in constant time Sphinx #3358: Pull request #3007 opened by stefan-hoeck
July 5, 2023 14:04 38s stefan-hoeck:constant_fin
stefan-hoeck:constant_fin
July 5, 2023 14:04 38s
[ 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
[ performance ] make Eq and Ord for Fin run in constant time Lint the sources #5300: Pull request #3007 opened by stefan-hoeck
July 5, 2023 14:04 16s stefan-hoeck:constant_fin
stefan-hoeck:constant_fin
July 5, 2023 14:04 16s
Generalize Prelude proof helpers Idris2 #3168: Pull request #3005 synchronize by madman-bob
June 30, 2023 14:44 1h 2m 55s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:44 1h 2m 55s
Generalize Prelude proof helpers Lint the sources #5299: Pull request #3005 synchronize by madman-bob
June 30, 2023 14:44 14s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:44 14s
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
Generalize Prelude proof helpers Sphinx #3357: Pull request #3005 synchronize by madman-bob
June 30, 2023 14:44 35s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:44 35s
Add orBothFalse proof Sphinx #3356: Pull request #3006 opened by madman-bob
June 30, 2023 14:17 35s madman-bob:or-both-false
madman-bob:or-both-false
June 30, 2023 14:17 35s
Add orBothFalse proof Lint the sources #5298: Pull request #3006 opened by madman-bob
June 30, 2023 14:17 16s madman-bob:or-both-false
madman-bob:or-both-false
June 30, 2023 14:17 16s