Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "Treat unit types as erased in constructors (#3002)" Lint the sources #5311: Commit c5ac540 pushed by CodingCellist
July 7, 2023 15:43 17s revert-3002-unit-elim
revert-3002-unit-elim
July 7, 2023 15:43 17s
Revert "Treat unit types as erased in constructors (#3002)" Idris2 #3179: Commit c5ac540 pushed by CodingCellist
July 7, 2023 15:43 1h 4m 44s revert-3002-unit-elim
revert-3002-unit-elim
July 7, 2023 15:43 1h 4m 44s
Revert "Treat unit types as erased in constructors (#3002)" Sphinx #3369: Commit c5ac540 pushed by CodingCellist
July 7, 2023 15:43 34s revert-3002-unit-elim
revert-3002-unit-elim
July 7, 2023 15:43 34s
pages build and deployment pages-build-deployment #295: by github-pages bot
July 5, 2023 19:39 49s
July 5, 2023 19:39 49s
Treat unit types as erased in constructors (#3002) Idris2 #3178: Commit 677acf0 pushed by Z-snails
July 5, 2023 18:51 1h 3m 34s main
main
July 5, 2023 18:51 1h 3m 34s
Treat unit types as erased in constructors (#3002) Lint the sources #5310: Commit 677acf0 pushed by Z-snails
July 5, 2023 18:51 15s main
main
July 5, 2023 18:51 15s
Treat unit types as erased in constructors (#3002) Sphinx #3368: Commit 677acf0 pushed by Z-snails
July 5, 2023 18:51 41s main
main
July 5, 2023 18:51 41s
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
pages build and deployment pages-build-deployment #294: by github-pages bot
July 5, 2023 16:29 49s
July 5, 2023 16:29 49s
Treat unit types as erased in constructors Sphinx #3367: Pull request #3002 synchronize by Z-snails
July 5, 2023 16:05 36s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 16:05 36s
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 Idris2 #3177: Pull request #3002 synchronize by Z-snails
July 5, 2023 16:05 1h 11m 10s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 16:05 1h 11m 10s
Treat unit types as erased in constructors Lint the sources #5309: Pull request #3002 synchronize by Z-snails
July 5, 2023 16:05 17s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 16:05 17s
Treat unit types as erased in constructors Sphinx #3366: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:58 35s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:58 35s
Treat unit types as erased in constructors Lint the sources #5308: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:58 11s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:58 11s
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
Treat unit types as erased in constructors Idris2 #3176: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:58 7m 53s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:58 7m 53s
improvement: use std lib WellFounded for Sufficient Lint the sources #5307: Commit 5fd5b1e pushed by gallais
July 5, 2023 15:44 13s main
main
July 5, 2023 15:44 13s
improvement: use std lib WellFounded for Sufficient Idris2 #3175: Commit 5fd5b1e pushed by gallais
July 5, 2023 15:44 1h 12m 20s main
main
July 5, 2023 15:44 1h 12m 20s
improvement: use std lib WellFounded for Sufficient Sphinx #3365: Commit 5fd5b1e pushed by gallais
July 5, 2023 15:44 36s main
main
July 5, 2023 15:44 36s
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… Idris2 #3174: Commit 18e8873 pushed by gallais
July 5, 2023 15:43 1m 36s main
main
July 5, 2023 15:43 1m 36s
[ papers ] Port the first part of "Deferring the details [...]" by Li… Lint the sources #5306: Commit 18e8873 pushed by gallais
July 5, 2023 15:43 12s main
main
July 5, 2023 15:43 12s
[ papers ] Port the first part of "Deferring the details [...]" by Li… Sphinx #3364: Commit 18e8873 pushed by gallais
July 5, 2023 15:43 39s main
main
July 5, 2023 15:43 39s
[ 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
ProTip! You can narrow down the results and go further in time using created:<2023-07-05 or the other filters available.