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

[ test ] Fix package tests hygiene Idris2 and External Libs #37: Pull request #3088 synchronize by buzden
October 3, 2023 15:00 1h 7m 18s buzden:fix-pkg-tests-hygiene
buzden:fix-pkg-tests-hygiene
October 3, 2023 15:00 1h 7m 18s
[ test ] Fix package tests hygiene Idris2 and External Libs #36: Pull request #3088 synchronize by buzden
October 3, 2023 14:51 9m 42s buzden:fix-pkg-tests-hygiene
buzden:fix-pkg-tests-hygiene
October 3, 2023 14:51 9m 42s
[ test ] Fix package tests hygiene Idris2 and External Libs #35: Pull request #3088 opened by buzden
October 3, 2023 14:32 19m 14s buzden:fix-pkg-tests-hygiene
buzden:fix-pkg-tests-hygiene
October 3, 2023 14:32 19m 14s
[ elab ] Implement Ord for Count Idris2 and External Libs #34: Pull request #3087 opened by buzden
October 3, 2023 10:33 1h 6m 42s buzden:ord-count
buzden:ord-count
October 3, 2023 10:33 1h 6m 42s
Add Monad instance for Prelude.id Idris2 and External Libs #33: Pull request #3086 opened by madman-bob
October 3, 2023 09:53 1h 6m 37s madman-bob:id-monad
madman-bob:id-monad
October 3, 2023 09:53 1h 6m 37s
[ test ] fix pkgs test failures Idris2 and External Libs #32: Pull request #3085 opened by dunhamsteve
October 3, 2023 05:30 1h 24m 22s dunhamsteve:fix-pkg006
dunhamsteve:fix-pkg006
October 3, 2023 05:30 1h 24m 22s
[ 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
ProTip! You can narrow down the results and go further in time using created:<2023-09-19 or the other filters available.