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
981 workflow runs
981 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #31: Pull request #2791 synchronize by buzden
October 2, 2023 09:09 1h 5m 1s buzden:memo-lazy
buzden:memo-lazy
October 2, 2023 09:09 1h 5m 1s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Idris2 and External Libs #30: Commit 46a2dc1 pushed by gallais
October 1, 2023 06:16 1h 14m 49s main
main
October 1, 2023 06:16 1h 14m 49s
Several small changes each not worth its own PR Idris2 and External Libs #29: Pull request #3081 synchronize by buzden
September 29, 2023 12:35 1h 0m 32s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 12:35 1h 0m 32s
Several small changes each not worth its own PR Idris2 and External Libs #28: Pull request #3081 opened by buzden
September 29, 2023 10:28 1h 5m 7s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 10:28 1h 5m 7s
[ fix ] Fix Show of TTImp for functions with with clauses Idris2 and External Libs #27: Pull request #2631 synchronize by buzden
September 26, 2023 11:24 1h 12m 23s buzden:fix-show-with-clause
buzden:fix-show-with-clause
September 26, 2023 11:24 1h 12m 23s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #26: Pull request #2791 synchronize by buzden
September 26, 2023 11:23 1h 6m 53s buzden:memo-lazy
buzden:memo-lazy
September 26, 2023 11:23 1h 6m 53s
[ fix ] support .lidr.md and .lidr.tex extensions (#3071) Idris2 and External Libs #25: Commit 46483fd pushed by gallais
September 25, 2023 21:25 1h 12m 56s main
main
September 25, 2023 21:25 1h 12m 56s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #24: Commit 3886200 pushed by gallais
September 25, 2023 18:51 1h 15m 46s main
main
September 25, 2023 18:51 1h 15m 46s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #23: Pull request #3076 synchronize by buzden
September 25, 2023 13:04 1h 8m 57s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 25, 2023 13:04 1h 8m 57s
[ elab ] Make %macro-function be callable without the ElabReflection extension Idris2 and External Libs #22: Pull request #3034 synchronize by buzden
September 25, 2023 13:02 1h 14m 9s buzden:macro-without-extension
buzden:macro-without-extension
September 25, 2023 13:02 1h 14m 9s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #21: Pull request #2791 synchronize by buzden
September 24, 2023 16:30 1h 4m 12s buzden:memo-lazy
buzden:memo-lazy
September 24, 2023 16:30 1h 4m 12s
[ base ] Add update functions to sorted maps Idris2 and External Libs #20: Commit 6dc06cd pushed by gallais
September 23, 2023 21:47 1h 9m 42s main
main
September 23, 2023 21:47 1h 9m 42s
[ base ] Add update functions to sorted maps Idris2 and External Libs #19: Pull request #3080 synchronize by buzden
September 23, 2023 19:30 1h 10m 30s buzden:update-for-map
buzden:update-for-map
September 23, 2023 19:30 1h 10m 30s
[ base ] Add update functions to sorted maps Idris2 and External Libs #18: Pull request #3080 synchronize by buzden
September 23, 2023 19:30 1m 5s buzden:update-for-map
buzden:update-for-map
September 23, 2023 19:30 1m 5s
[ base ] Add update functions to sorted maps Idris2 and External Libs #17: Pull request #3080 opened by buzden
September 23, 2023 15:12 1h 11m 56s buzden:update-for-map
buzden:update-for-map
September 23, 2023 15:12 1h 11m 56s
[ elab ] Print script's FC in the bad elaboration script error Idris2 and External Libs #16: Commit a643e3a pushed by gallais
September 22, 2023 10:55 1h 13m 10s main
main
September 22, 2023 10:55 1h 13m 10s
[ elab ] Print script's FC in the bad elaboration script error Idris2 and External Libs #15: Pull request #3079 opened by buzden
September 21, 2023 09:48 1h 7m 11s buzden:print-script-fc-in-badelabscript
buzden:print-script-fc-in-badelabscript
September 21, 2023 09:48 1h 7m 11s
Fix typo in namespace for [bi]traversable composition Idris2 and External Libs #14: Commit f6c000e pushed by CodingCellist
September 20, 2023 07:16 1h 10m 3s main
main
September 20, 2023 07:16 1h 10m 3s
Fix typo in namespace for [bi]traversable composition Idris2 and External Libs #13: Pull request #3078 opened by joelberkeley
September 19, 2023 17:41 1h 6m 54s joelberkeley:patch-1
joelberkeley:patch-1
September 19, 2023 17:41 1h 6m 54s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #12: Pull request #3076 opened by buzden
September 15, 2023 14:05 1h 6m 58s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 15, 2023 14:05 1h 6m 58s
[ ci ] re 3067: fix CI on main branch Idris2 and External Libs #11: Commit dc79c6d pushed by CodingCellist
September 15, 2023 10:05 1h 4m 14s main
main
September 15, 2023 10:05 1h 4m 14s
[ elab ] Make %runElab expressions have unrestricted quantity Idris2 and External Libs #10: Pull request #2021 synchronize by buzden
September 15, 2023 09:13 1h 17m 8s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
September 15, 2023 09:13 1h 17m 8s
[ ci ] re #3067: fix CI on main branch Idris2 and External Libs #9: Pull request #3075 opened by CodingCellist
September 15, 2023 08:42 1h 8m 49s CodingCellist:fix-main-ci-3067
CodingCellist:fix-main-ci-3067
September 15, 2023 08:42 1h 8m 49s
[ fix ] consider nest when guessing scrutinee (#3070) Idris2 and External Libs #8: Commit 0029257 pushed by gallais
September 14, 2023 13:29 1h 13m 57s main
main
September 14, 2023 13:29 1h 13m 57s
Implement Precise Reference Counting for C backend Idris2 and External Libs #7: Pull request #2989 synchronize by Alex1005a
September 13, 2023 20:51 1h 16m 47s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
September 13, 2023 20:51 1h 16m 47s
ProTip! You can narrow down the results and go further in time using created:<2023-09-13 or the other filters available.