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

[ base ] Implement a bunch of standard interfaces for Data.These (#… Idris2 and External Libs #112: Commit 305604d pushed by gallais
October 25, 2023 10:15 9m 45s main
main
October 25, 2023 10:15 9m 45s
Add a warning for incompatible visibilities on forward decls and definitions. Idris2 and External Libs #111: Pull request #3063 synchronize by Adowrath
October 25, 2023 08:45 1h 8m 58s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
October 25, 2023 08:45 1h 8m 58s
[ elab ] Implement abilities for recursion check in elab scripts Idris2 and External Libs #110: Pull request #3118 synchronize by buzden
October 25, 2023 08:10 1h 20m 31s buzden:recursion-check-in-elab-scr
buzden:recursion-check-in-elab-scr
October 25, 2023 08:10 1h 20m 31s
[ elab ] Implement abilities for recursion check in elab scripts Idris2 and External Libs #109: Pull request #3118 opened by buzden
October 24, 2023 21:51 1h 12m 56s buzden:recursion-check-in-elab-scr
buzden:recursion-check-in-elab-scr
October 24, 2023 21:51 1h 12m 56s
Add a warning for incompatible visibilities on forward decls and definitions. Idris2 and External Libs #108: Pull request #3063 synchronize by Adowrath
October 24, 2023 19:24 1h 13m 5s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
October 24, 2023 19:24 1h 13m 5s
Add a warning for incompatible visibilities on forward decls and definitions. Idris2 and External Libs #107: Pull request #3063 synchronize by Adowrath
October 24, 2023 17:21 1h 7m 28s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
October 24, 2023 17:21 1h 7m 28s
Add a warning for incompatible visibilities on forward decls and definitions. Idris2 and External Libs #106: Pull request #3063 synchronize by gallais
October 24, 2023 15:27 1h 9m 16s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
October 24, 2023 15:27 1h 9m 16s
Add a warning for incompatible visibilities on forward decls and definitions. Idris2 and External Libs #105: Pull request #3063 synchronize by gallais
October 24, 2023 15:26 1m 10s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
October 24, 2023 15:26 1m 10s
[ base ] Implement a bunch of standard interfaces for Data.These Idris2 and External Libs #104: Pull request #3117 synchronize by buzden
October 24, 2023 11:29 1h 10m 42s buzden:these-std-interf
buzden:these-std-interf
October 24, 2023 11:29 1h 10m 42s
[ base ] Implement a bunch of standard interfaces for Data.These Idris2 and External Libs #103: Pull request #3117 opened by buzden
October 24, 2023 10:46 43m 52s buzden:these-std-interf
buzden:these-std-interf
October 24, 2023 10:46 43m 52s
[ ci ] Update deploy-action in ci-idris2-and-libs.yml (#3115) Idris2 and External Libs #102: Commit 46be3b8 pushed by gallais
October 23, 2023 14:26 1h 7m 48s main
main
October 23, 2023 14:26 1h 7m 48s
[ ci ] Update deploy-action in ci-idris2-and-libs.yml Idris2 and External Libs #101: Pull request #3115 synchronize by CodingCellist
October 23, 2023 12:41 1h 21m 9s CodingCellist-patch-1
CodingCellist-patch-1
October 23, 2023 12:41 1h 21m 9s
[ ci ] Forgot a 'v' in pages-deploy version Idris2 and External Libs #100: Commit 5a156e9 pushed by CodingCellist
October 23, 2023 12:41 1h 27m 55s CodingCellist-patch-1
CodingCellist-patch-1
October 23, 2023 12:41 1h 27m 55s
[ base ] Add bindings for ieee Double number consts Idris2 and External Libs #99: Pull request #3116 opened by CodingCellist
October 23, 2023 12:38 1h 14m 43s CodingCellist:ieee-fl-consts
CodingCellist:ieee-fl-consts
October 23, 2023 12:38 1h 14m 43s
[ ci ] Update deploy-action in ci-idris2-and-libs.yml Idris2 and External Libs #98: Pull request #3115 opened by CodingCellist
October 23, 2023 12:02 39m 7s CodingCellist-patch-1
CodingCellist-patch-1
October 23, 2023 12:02 39m 7s
[ admin ] Update ci-idris2-and-libs.yml Idris2 and External Libs #97: Commit 862d56c pushed by CodingCellist
October 23, 2023 12:02 39m 48s CodingCellist-patch-1
CodingCellist-patch-1
October 23, 2023 12:02 39m 48s
Switch from 'fast' string functions to normal string functions Idris2 and External Libs #96: Commit 4097e6c pushed by gallais
October 23, 2023 11:01 1h 15m 25s main
main
October 23, 2023 11:01 1h 15m 25s
Switch from 'fast' string functions to normal string functions Idris2 and External Libs #95: Pull request #3111 opened by rvs314
October 19, 2023 19:52 1h 16m 23s rvs314:main
rvs314:main
October 19, 2023 19:52 1h 16m 23s
[ derive ] Refine a constructor view to support implicit args Idris2 and External Libs #94: Pull request #3109 synchronize by buzden
October 19, 2023 13:07 1h 30m 42s buzden:more-precise-con-view
buzden:more-precise-con-view
October 19, 2023 13:07 1h 30m 42s
Use do notation in some Idris2 and External Libs #93: Commit f694e5e pushed by gallais
October 19, 2023 07:45 1h 10m 1s main
main
October 19, 2023 07:45 1h 10m 1s
Use do notation in some Idris2 and External Libs #92: Pull request #3110 opened by rvs314
October 18, 2023 23:05 1h 16m 21s rvs314:data-parser
rvs314:data-parser
October 18, 2023 23:05 1h 16m 21s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #91: Pull request #2791 synchronize by buzden
October 18, 2023 06:04 1h 3m 16s buzden:memo-lazy
buzden:memo-lazy
October 18, 2023 06:04 1h 3m 16s
[ derive ] Refine a constructor view to support implicit args Idris2 and External Libs #90: Pull request #3109 synchronize by buzden
October 18, 2023 05:23 1h 5m 17s buzden:more-precise-con-view
buzden:more-precise-con-view
October 18, 2023 05:23 1h 5m 17s
[ derive ] Refine a constructor view to support implicit args Idris2 and External Libs #89: Pull request #3109 opened by buzden
October 17, 2023 21:19 1h 0m 56s buzden:more-precise-con-view
buzden:more-precise-con-view
October 17, 2023 21:19 1h 0m 56s
Represent size-change graphs as matrices (addresses #2954) Idris2 and External Libs #88: Pull request #3108 opened by mjustus
October 17, 2023 20:01 1h 7m 42s mjustus:termination-matrix
mjustus:termination-matrix
October 17, 2023 20:01 1h 7m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.