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 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
Add orBothFalse proof Idris2 #3167: Pull request #3006 opened by madman-bob
June 30, 2023 14:17 1h 4m 42s madman-bob:or-both-false
madman-bob:or-both-false
June 30, 2023 14:17 1h 4m 42s
Generalize Prelude proof helpers Lint the sources #5297: Pull request #3005 opened by madman-bob
June 30, 2023 14:13 12s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:13 12s
Generalize Prelude proof helpers Idris2 #3166: Pull request #3005 opened by madman-bob
June 30, 2023 14:13 17m 53s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:13 17m 53s
Generalize Prelude proof helpers Sphinx #3355: Pull request #3005 opened by madman-bob
June 30, 2023 14:13 39s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:13 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 Sphinx #3354: Pull request #2989 synchronize by Alex1005a
June 30, 2023 13:09 47s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
June 30, 2023 13:09 47s
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 the sources #5296: Pull request #2989 synchronize by Alex1005a
June 30, 2023 13:09 19s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
June 30, 2023 13:09 19s
Implement Precise Reference Counting for C backend Idris2 #3165: Pull request #2989 synchronize by Alex1005a
June 30, 2023 13:09 1h 12m 22s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
June 30, 2023 13:09 1h 12m 22s
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
Implement Precise Reference Counting for C backend Lint the sources #5295: Pull request #2989 synchronize by Alex1005a
June 29, 2023 17:36 20s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
June 29, 2023 17:36 20s
Implement Precise Reference Counting for C backend Sphinx #3353: Pull request #2989 synchronize by Alex1005a
June 29, 2023 17:36 39s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
June 29, 2023 17:36 39s
Implement Precise Reference Counting for C backend Idris2 #3164: Pull request #2989 synchronize by Alex1005a
June 29, 2023 17:36 39m 16s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
June 29, 2023 17:36 39m 16s
pages build and deployment pages-build-deployment #293: by github-pages bot
June 28, 2023 08:15 53s
June 28, 2023 08:15 53s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes … Idris2 #3163: Commit ecf4765 pushed by Z-snails
June 28, 2023 07:32 1h 2m 48s main
main
June 28, 2023 07:32 1h 2m 48s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes … Lint the sources #5294: Commit ecf4765 pushed by Z-snails
June 28, 2023 07:32 16s main
main
June 28, 2023 07:32 16s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes … Lint Code Base #5213: Commit ecf4765 pushed by Z-snails
June 28, 2023 07:32 2m 18s main
main
June 28, 2023 07:32 2m 18s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes … Sphinx #3352: Commit ecf4765 pushed by Z-snails
June 28, 2023 07:32 41s main
main
June 28, 2023 07:32 41s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003) Lint Code Base #5212: Pull request #3004 synchronize by dunhamsteve
June 28, 2023 02:48 2m 26s dunhamsteve:unsound-eval
dunhamsteve:unsound-eval
June 28, 2023 02:48 2m 26s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003) Lint the sources #5293: Pull request #3004 synchronize by dunhamsteve
June 28, 2023 02:48 17s dunhamsteve:unsound-eval
dunhamsteve:unsound-eval
June 28, 2023 02:48 17s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003) Idris2 #3162: Pull request #3004 synchronize by dunhamsteve
June 28, 2023 02:48 1h 12m 54s dunhamsteve:unsound-eval
dunhamsteve:unsound-eval
June 28, 2023 02:48 1h 12m 54s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003) Sphinx #3351: Pull request #3004 synchronize by dunhamsteve
June 28, 2023 02:48 39s dunhamsteve:unsound-eval
dunhamsteve:unsound-eval
June 28, 2023 02:48 39s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003) Sphinx #3350: Pull request #3004 synchronize by dunhamsteve
June 26, 2023 16:49 37s dunhamsteve:unsound-eval
dunhamsteve:unsound-eval
June 26, 2023 16:49 37s
[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003) Lint the sources #5292: Pull request #3004 synchronize by dunhamsteve
June 26, 2023 16:49 19s dunhamsteve:unsound-eval
dunhamsteve:unsound-eval
June 26, 2023 16:49 19s