Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,041 workflow run results
1,041 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Make %macro-function be callable without the extension Sphinx #3588: Commit cbbd0c8 pushed by gallais
October 11, 2023 12:20 1m 5s main
main
October 11, 2023 12:20 1m 5s
[ elab ] Make %macro-function be callable without the extension Lint the sources #5530: Commit cbbd0c8 pushed by gallais
October 11, 2023 12:20 31s main
main
October 11, 2023 12:20 31s
[ parser ] Fix issues parsing %logging followed by named impls - fix #3097 Lint the sources #5529: Pull request #3098 opened by dunhamsteve
October 11, 2023 01:37 20s dunhamsteve:parse-logging
dunhamsteve:parse-logging
October 11, 2023 01:37 20s
[ parser ] Fix issues parsing %logging followed by named impls - fix #3097 Sphinx #3587: Pull request #3098 opened by dunhamsteve
October 11, 2023 01:37 34s dunhamsteve:parse-logging
dunhamsteve:parse-logging
October 11, 2023 01:37 34s
[ parser ] Fix issues parsing %logging followed by named impls - fix #3097 Lint Code Base #5448: Pull request #3098 opened by dunhamsteve
October 11, 2023 01:37 2m 27s dunhamsteve:parse-logging
dunhamsteve:parse-logging
October 11, 2023 01:37 2m 27s
[ parser ] Fix issues parsing %logging followed by named impls - fix #3097 Idris2 and External Libs #59: Pull request #3098 opened by dunhamsteve
October 11, 2023 01:37 59m 40s dunhamsteve:parse-logging
dunhamsteve:parse-logging
October 11, 2023 01:37 59m 40s
[ fix #3083 ] Fix record update with implicit args Idris2 and External Libs #58: Pull request #3092 synchronize by Alex1005a
October 10, 2023 17:25 1h 12m 22s Alex1005a:fix-3083
Alex1005a:fix-3083
October 10, 2023 17:25 1h 12m 22s
[ fix #3083 ] Fix record update with implicit args Lint Code Base #5447: Pull request #3092 synchronize by Alex1005a
October 10, 2023 17:25 2m 27s Alex1005a:fix-3083
Alex1005a:fix-3083
October 10, 2023 17:25 2m 27s
[ fix #3083 ] Fix record update with implicit args Lint the sources #5528: Pull request #3092 synchronize by Alex1005a
October 10, 2023 17:25 18s Alex1005a:fix-3083
Alex1005a:fix-3083
October 10, 2023 17:25 18s
[ fix #3083 ] Fix record update with implicit args Sphinx #3586: Pull request #3092 synchronize by Alex1005a
October 10, 2023 17:25 34s Alex1005a:fix-3083
Alex1005a:fix-3083
October 10, 2023 17:25 34s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Lint Code Base #5446: Pull request #3096 opened by 0xd34df00d
October 9, 2023 21:25 2m 30s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 9, 2023 21:25 2m 30s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Lint the sources #5527: Pull request #3096 opened by 0xd34df00d
October 9, 2023 21:25 21s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 9, 2023 21:25 21s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Sphinx #3585: Pull request #3096 opened by 0xd34df00d
October 9, 2023 21:25 39s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 9, 2023 21:25 39s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Idris2 and External Libs #57: Pull request #3096 opened by 0xd34df00d
October 9, 2023 21:25 1h 10m 29s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 9, 2023 21:25 1h 10m 29s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint Code Base #5445: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:51 2m 28s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:51 2m 28s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint the sources #5526: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:51 13s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:51 13s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Idris2 and External Libs #56: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:51 1h 8m 53s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:51 1h 8m 53s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Sphinx #3584: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:51 39s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:51 39s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint the sources #5525: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:44 17s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:44 17s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Sphinx #3583: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:44 40s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:44 40s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Idris2 and External Libs #55: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:44 6m 57s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:44 6m 57s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint Code Base #5444: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:44 2m 34s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:44 2m 34s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Sphinx #3582: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:06 33s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:06 33s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint the sources #5524: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:06 17s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:06 17s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Idris2 and External Libs #54: Pull request #2939 synchronize by AlgebraicWolf
October 9, 2023 19:06 38m 3s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
October 9, 2023 19:06 38m 3s