Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] Fix interface elaboration when %unbound_implicits is off Lint the sources #5397: Pull request #3052 synchronize by dunhamsteve
August 20, 2023 01:45 15s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:45 15s
[ fix ] Fix interface elaboration when %unbound_implicits is off Lint Code Base #5316: Pull request #3052 synchronize by dunhamsteve
August 20, 2023 01:45 2m 18s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:45 2m 18s
[ fix ] Fix interface elaboration when %unbound_implicits is off Idris2 #3257: Pull request #3052 synchronize by dunhamsteve
August 20, 2023 01:45 1h 6m 14s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:45 1h 6m 14s
[ fix ] Fix interface elaboration when %unbound_implicits is off Lint Code Base #5315: Pull request #3052 opened by dunhamsteve
August 20, 2023 01:42 2m 40s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:42 2m 40s
[ fix ] Fix interface elaboration when %unbound_implicits is off Lint the sources #5396: Pull request #3052 opened by dunhamsteve
August 20, 2023 01:42 12s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:42 12s
[ fix ] Fix interface elaboration when %unbound_implicits is off Sphinx #3454: Pull request #3052 opened by dunhamsteve
August 20, 2023 01:42 39s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:42 39s
[ fix ] Fix interface elaboration when %unbound_implicits is off Idris2 #3256: Pull request #3052 opened by dunhamsteve
August 20, 2023 01:42 59s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:42 59s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint Code Base #5312: Pull request #2939 synchronize by AlgebraicWolf
August 18, 2023 13:47 2m 26s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
August 18, 2023 13:47 2m 26s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Idris2 #3253: Pull request #2939 synchronize by AlgebraicWolf
August 18, 2023 13:47 1h 12m 42s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
August 18, 2023 13:47 1h 12m 42s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Sphinx #3451: Pull request #2939 synchronize by AlgebraicWolf
August 18, 2023 13:47 36s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
August 18, 2023 13:47 36s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint the sources #5393: Pull request #2939 synchronize by AlgebraicWolf
August 18, 2023 13:47 22s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
August 18, 2023 13:47 22s
pages build and deployment pages-build-deployment #306: by github-pages bot
August 16, 2023 13:37 48s
August 16, 2023 13:37 48s
Merge pull request #3045 from mars0i/main Lint the sources #5391: Commit 86c53e6 pushed by andrevidela
August 16, 2023 12:43 15s main
main
August 16, 2023 12:43 15s
Merge pull request #3045 from mars0i/main Sphinx #3449: Commit 86c53e6 pushed by andrevidela
August 16, 2023 12:43 42s main
main
August 16, 2023 12:43 42s
Merge pull request #3045 from mars0i/main Idris2 #3251: Commit 86c53e6 pushed by andrevidela
August 16, 2023 12:43 1h 15m 13s main
main
August 16, 2023 12:43 1h 15m 13s
Merge pull request #3045 from mars0i/main Lint Code Base #5310: Commit 86c53e6 pushed by andrevidela
August 16, 2023 12:43 2m 11s main
main
August 16, 2023 12:43 2m 11s
[ prelude ] Add some lacking %tcinlines Lint the sources #5390: Pull request #3047 synchronize by buzden
August 16, 2023 09:16 15s buzden:tcinline-some-standard-stuff
buzden:tcinline-some-standard-stuff
August 16, 2023 09:16 15s
[ prelude ] Add some lacking %tcinlines Idris2 #3250: Pull request #3047 synchronize by buzden
August 16, 2023 09:16 1h 16m 16s buzden:tcinline-some-standard-stuff
buzden:tcinline-some-standard-stuff
August 16, 2023 09:16 1h 16m 16s
[ prelude ] Add some lacking %tcinlines Lint Code Base #5309: Pull request #3047 synchronize by buzden
August 16, 2023 09:16 2m 38s buzden:tcinline-some-standard-stuff
buzden:tcinline-some-standard-stuff
August 16, 2023 09:16 2m 38s
[ prelude ] Add some lacking %tcinlines Sphinx #3448: Pull request #3047 synchronize by buzden
August 16, 2023 09:16 35s buzden:tcinline-some-standard-stuff
buzden:tcinline-some-standard-stuff
August 16, 2023 09:16 35s
Add documentation for Not. Idris2 #3249: Pull request #3045 synchronize by mars0i
August 16, 2023 01:09 1h 12m 47s mars0i:main
mars0i:main
August 16, 2023 01:09 1h 12m 47s
Add documentation for Not. Lint the sources #5389: Pull request #3045 synchronize by mars0i
August 16, 2023 01:09 15s mars0i:main
mars0i:main
August 16, 2023 01:09 15s
Add documentation for Not. Lint Code Base #5308: Pull request #3045 synchronize by mars0i
August 16, 2023 01:09 2m 12s mars0i:main
mars0i:main
August 16, 2023 01:09 2m 12s
Add documentation for Not. Sphinx #3447: Pull request #3045 synchronize by mars0i
August 16, 2023 01:09 40s mars0i:main
mars0i:main
August 16, 2023 01:09 40s
[ prelude ] Add some lacking %tcinlines Lint Code Base #5307: Pull request #3047 opened by buzden
August 15, 2023 17:03 2m 36s buzden:tcinline-some-standard-stuff
buzden:tcinline-some-standard-stuff
August 15, 2023 17:03 2m 36s