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

[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #162: Pull request #3128 synchronize by gallais
November 2, 2023 17:05 1m 28s gallais:snoclist-indexing
gallais:snoclist-indexing
November 2, 2023 17:05 1m 28s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #161: Pull request #3128 synchronize by gallais
November 2, 2023 16:24 1m 13s gallais:snoclist-indexing
gallais:snoclist-indexing
November 2, 2023 16:24 1m 13s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #160: Pull request #3128 synchronize by gallais
November 2, 2023 15:14 1m 17s gallais:snoclist-indexing
gallais:snoclist-indexing
November 2, 2023 15:14 1m 17s
Represent size-change graphs as matrices (addresses #2954) Idris2 and External Libs #159: Pull request #3108 synchronize by mjustus
November 2, 2023 15:12 1h 23m 32s mjustus:termination-matrix
mjustus:termination-matrix
November 2, 2023 15:12 1h 23m 32s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #158: Pull request #3128 synchronize by gallais
November 2, 2023 12:06 1m 55s gallais:snoclist-indexing
gallais:snoclist-indexing
November 2, 2023 12:06 1m 55s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #157: Pull request #3128 synchronize by gallais
November 2, 2023 09:35 1m 25s gallais:snoclist-indexing
gallais:snoclist-indexing
November 2, 2023 09:35 1m 25s
[ feature ] Typebind & autobind using Pi-like syntax Idris2 and External Libs #156: Pull request #3120 synchronize by andrevidela
November 1, 2023 23:12 1h 11m 40s andrevidela:autobind
andrevidela:autobind
November 1, 2023 23:12 1h 11m 40s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #155: Pull request #3128 synchronize by gallais
November 1, 2023 10:57 2m 8s gallais:snoclist-indexing
gallais:snoclist-indexing
November 1, 2023 10:57 2m 8s
[ base ] Add bindings for ieee Double number consts Idris2 and External Libs #154: Pull request #3116 synchronize by CodingCellist
November 1, 2023 10:03 1h 22m 49s CodingCellist:ieee-fl-consts
CodingCellist:ieee-fl-consts
November 1, 2023 10:03 1h 22m 49s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #153: Pull request #2791 synchronize by buzden
November 1, 2023 07:49 1h 19m 29s buzden:memo-lazy
buzden:memo-lazy
November 1, 2023 07:49 1h 19m 29s
[ elab ] Support more applicative traversals of TTImp Idris2 and External Libs #152: Pull request #3130 synchronize by buzden
November 1, 2023 06:01 1h 15m 37s buzden:applicative-ttimp-traversals
buzden:applicative-ttimp-traversals
November 1, 2023 06:01 1h 15m 37s
[ elab ] Support more applicative traversals of TTImp Idris2 and External Libs #151: Pull request #3130 opened by buzden
October 31, 2023 21:55 1h 21m 37s buzden:applicative-ttimp-traversals
buzden:applicative-ttimp-traversals
October 31, 2023 21:55 1h 21m 37s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #150: Pull request #3128 synchronize by gallais
October 31, 2023 17:15 1m 27s gallais:snoclist-indexing
gallais:snoclist-indexing
October 31, 2023 17:15 1m 27s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #149: Pull request #3128 synchronize by gallais
October 31, 2023 15:48 1m 37s gallais:snoclist-indexing
gallais:snoclist-indexing
October 31, 2023 15:48 1m 37s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #148: Pull request #3128 synchronize by gallais
October 31, 2023 15:19 1m 57s gallais:snoclist-indexing
gallais:snoclist-indexing
October 31, 2023 15:19 1m 57s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #147: Pull request #3128 synchronize by gallais
October 31, 2023 13:49 1m 29s gallais:snoclist-indexing
gallais:snoclist-indexing
October 31, 2023 13:49 1m 29s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #146: Pull request #3128 synchronize by gallais
October 31, 2023 12:35 2m 14s gallais:snoclist-indexing
gallais:snoclist-indexing
October 31, 2023 12:35 2m 14s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #145: Pull request #3128 synchronize by gallais
October 31, 2023 12:34 59s gallais:snoclist-indexing
gallais:snoclist-indexing
October 31, 2023 12:34 59s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #144: Pull request #3128 synchronize by gallais
October 31, 2023 11:52 1m 41s gallais:snoclist-indexing
gallais:snoclist-indexing
October 31, 2023 11:52 1m 41s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #143: Pull request #3128 synchronize by gallais
October 31, 2023 10:54 1m 29s gallais:snoclist-indexing
gallais:snoclist-indexing
October 31, 2023 10:54 1m 29s
[ refactor ] Yaffle-style SnocList indexing Idris2 and External Libs #142: Pull request #3128 opened by gallais
October 30, 2023 17:15 1m 18s gallais:snoclist-indexing
gallais:snoclist-indexing
October 30, 2023 17:15 1m 18s
[ deriving ] Try to reduce a type before searching it's showable Idris2 and External Libs #141: Commit 64ad807 pushed by gallais
October 30, 2023 10:07 1h 6m 25s main
main
October 30, 2023 10:07 1h 6m 25s
[ deriving ] Try to reduce a type before searching it's showable Idris2 and External Libs #140: Pull request #3126 opened by buzden
October 28, 2023 12:52 1h 10m 59s buzden:try-to-reduce-in-deriving-show
buzden:try-to-reduce-in-deriving-show
October 28, 2023 12:52 1h 10m 59s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #139: Pull request #2791 synchronize by buzden
October 28, 2023 08:37 1h 13m 9s buzden:memo-lazy
buzden:memo-lazy
October 28, 2023 08:37 1h 13m 9s
[ fix ] missing modules in .ipkg files (#3124) Idris2 and External Libs #138: Commit bee59d5 pushed by gallais
October 27, 2023 19:37 1h 14m 19s main
main
October 27, 2023 19:37 1h 14m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-10-27 or the other filters available.