Skip to content

Actions: idris-lang/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2-and-libs.yml
662 workflow run results
662 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Support limited file operations in elab scripts, e.g. enable type providers Idris2 and External Libs #62: Pull request #3099 synchronize by buzden
October 12, 2023 09:45 1h 4m 39s buzden:file-io-in-elab
buzden:file-io-in-elab
October 12, 2023 09:45 1h 4m 39s
[ elab ] Support limited file operations in elab scripts, e.g. enable type providers Idris2 and External Libs #61: Pull request #3099 opened by buzden
October 11, 2023 20:21 1h 8m 49s buzden:file-io-in-elab
buzden:file-io-in-elab
October 11, 2023 20:21 1h 8m 49s
[ elab ] Make %macro-function be callable without the extension Idris2 and External Libs #60: Commit cbbd0c8 pushed by gallais
October 11, 2023 12:20 1h 5m 40s main
main
October 11, 2023 12:20 1h 5m 40s
[ 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
[ 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 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 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 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
[ elab ] Make %macro-function be callable without the ElabReflection extension Idris2 and External Libs #53: Pull request #3034 synchronize by buzden
October 9, 2023 16:59 1h 12m 23s buzden:macro-without-extension
buzden:macro-without-extension
October 9, 2023 16:59 1h 12m 23s
[ fix #3083 ] Fix record update with implicit args Idris2 and External Libs #52: Pull request #3092 synchronize by Alex1005a
October 9, 2023 14:12 1h 12m 21s Alex1005a:fix-3083
Alex1005a:fix-3083
October 9, 2023 14:12 1h 12m 21s
[ fix #3083 ] Fix record update with implicit args Idris2 and External Libs #51: Pull request #3092 synchronize by Alex1005a
October 9, 2023 14:06 7m 20s Alex1005a:fix-3083
Alex1005a:fix-3083
October 9, 2023 14:06 7m 20s
Idris2 and External Libs Idris2 and External Libs #50: by gallais
October 9, 2023 14:04 1h 4m 55s main
main
October 9, 2023 14:04 1h 4m 55s
[ base ] Add a bridge between MonadState and Ref Idris2 and External Libs #49: Pull request #3095 opened by buzden
October 9, 2023 13:30 1h 10m 5s buzden:monad-state-for-ref
buzden:monad-state-for-ref
October 9, 2023 13:30 1h 10m 5s
[ base ] Add anyToFin converting a Vect's Any to its index Idris2 and External Libs #48: Pull request #3094 synchronize by 0xd34df00d
October 8, 2023 20:11 1h 3m 9s 0xd34df00d:vect-anyToFin
0xd34df00d:vect-anyToFin
October 8, 2023 20:11 1h 3m 9s
[ base ] Add anyToFin converting a Vect's Any to its index Idris2 and External Libs #47: Pull request #3094 opened by 0xd34df00d
October 8, 2023 20:04 7m 23s 0xd34df00d:vect-anyToFin
0xd34df00d:vect-anyToFin
October 8, 2023 20:04 7m 23s
[ fix #3083 ] Fix record update with implicit args Idris2 and External Libs #46: Pull request #3092 opened by Alex1005a
October 5, 2023 21:01 9m 12s Alex1005a:fix-3083
Alex1005a:fix-3083
October 5, 2023 21:01 9m 12s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #45: Pull request #2791 synchronize by buzden
October 4, 2023 15:48 1h 15m 22s buzden:memo-lazy
buzden:memo-lazy
October 4, 2023 15:48 1h 15m 22s
[ new ] add Data.List.grouped function Idris2 and External Libs #44: Pull request #3089 synchronize by gallais
October 4, 2023 15:33 1h 23m 28s stefan-hoeck:grouped
stefan-hoeck:grouped
October 4, 2023 15:33 1h 23m 28s
[ elab ] Implement Ord for Count Idris2 and External Libs #43: Commit 1256ded pushed by gallais
October 4, 2023 15:31 1h 18m 37s main
main
October 4, 2023 15:31 1h 18m 37s
[ elab ] Implement Ord for Count Idris2 and External Libs #42: Pull request #3087 synchronize by buzden
October 4, 2023 13:43 1h 10m 31s buzden:ord-count
buzden:ord-count
October 4, 2023 13:43 1h 10m 31s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #41: Pull request #2791 synchronize by buzden
October 4, 2023 13:43 1h 11m 47s buzden:memo-lazy
buzden:memo-lazy
October 4, 2023 13:43 1h 11m 47s
[ re #3066 ] Make the rest of tests to use the same form as the others Idris2 and External Libs #40: Commit a5b0274 pushed by gallais
October 4, 2023 13:34 1h 19m 10s main
main
October 4, 2023 13:34 1h 19m 10s
[ new ] add Data.List.grouped function Idris2 and External Libs #39: Pull request #3089 opened by stefan-hoeck
October 4, 2023 03:27 1h 9m 48s stefan-hoeck:grouped
stefan-hoeck:grouped
October 4, 2023 03:27 1h 9m 48s
[ test ] Fix package tests hygiene Idris2 and External Libs #38: Pull request #3088 synchronize by buzden
October 3, 2023 16:30 1h 5m 15s buzden:fix-pkg-tests-hygiene
buzden:fix-pkg-tests-hygiene
October 3, 2023 16:30 1h 5m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.