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
226 workflow run results
226 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3315 from andrevidela/fix-3302 Idris2 and External Libs #728: Commit d6b8ab9 pushed by andrevidela
June 17, 2024 13:11 41m 46s main
main
June 17, 2024 13:11 41m 46s
[ fix #72 ] remove the broken modules (#3319) Idris2 and External Libs #727: Commit 3f985bc pushed by gallais
June 17, 2024 12:45 26m 51s main
main
June 17, 2024 12:45 26m 51s
Merge pull request #3314 from dunhamsteve/issue-3313 Idris2 and External Libs #726: Commit 02e5468 pushed by andrevidela
June 17, 2024 11:56 40m 22s main
main
June 17, 2024 11:56 40m 22s
List packages improvements (#3318) Idris2 and External Libs #724: Commit e9dfc1c pushed by gallais
June 17, 2024 10:50 41m 38s main
main
June 17, 2024 10:50 41m 38s
[ fix ] case spliting under implicit/auto parameter Idris2 and External Libs #714: Commit 055568b pushed by gallais
June 13, 2024 07:40 41m 19s main
main
June 13, 2024 07:40 41m 19s
Add %foreign_impl pragma for augmenting ffi functions (#3303) Idris2 and External Libs #711: Commit 9e84b15 pushed by gallais
June 11, 2024 16:45 41m 15s main
main
June 11, 2024 16:45 41m 15s
Add an option that dumps package details to JSON (#3293) Idris2 and External Libs #709: Commit 88a5328 pushed by gallais
June 11, 2024 10:32 41m 15s main
main
June 11, 2024 10:32 41m 15s
[ new ] added util functions for SortedMap (#3254) Idris2 and External Libs #708: Commit 0174618 pushed by gallais
June 11, 2024 10:05 26m 56s main
main
June 11, 2024 10:05 26m 56s
[ base ] Move most useful and stable parts of Data.Fin.Extra to base Idris2 and External Libs #706: Commit 109033c pushed by gallais
June 11, 2024 09:21 42m 32s main
main
June 11, 2024 09:21 42m 32s
Add pipeline operators (#3284) Idris2 and External Libs #701: Commit 1e6e125 pushed by gallais
June 6, 2024 09:59 41m 51s main
main
June 6, 2024 09:59 41m 51s
fix(base): runtime-erase implicit length argument to Vect's dropElem. Idris2 and External Libs #695: Commit e0b9a02 pushed by gallais
June 5, 2024 14:42 45m 7s main
main
June 5, 2024 14:42 45m 7s
[ fix ] Fix Show of TTImp for functions with with clauses (#2631) Idris2 and External Libs #691: Commit 1522c3a pushed by gallais
June 5, 2024 13:02 37m 9s main
main
June 5, 2024 13:02 37m 9s
[ base ] Add flipped access/update functions for `Sorted{Set,Map,DMap… Idris2 and External Libs #689: Commit 1c588f7 pushed by gallais
June 5, 2024 12:59 2m 54s main
main
June 5, 2024 12:59 2m 54s
refactor(base): move implementation of Data.Vect.nubBy to global scope Idris2 and External Libs #687: Commit 2c128e2 pushed by gallais
June 5, 2024 12:54 6m 8s main
main
June 5, 2024 12:54 6m 8s
[ new ] System.Concurrency.(Linear/Session) (#3294) Idris2 and External Libs #686: Commit bcf8598 pushed by gallais
June 5, 2024 12:53 55s main
main
June 5, 2024 12:53 55s
[ base ] Data.SortedSet.leftMost and .rightMost (#3260) Idris2 and External Libs #685: Commit f83ad9c pushed by gallais
June 5, 2024 11:01 42m 21s main
main
June 5, 2024 11:01 42m 21s
clarify toMaybeT docstring Idris2 and External Libs #683: Commit 40d4cd8 pushed by gallais
June 5, 2024 10:59 1m 32s main
main
June 5, 2024 10:59 1m 32s
[ doc ] Update documentation for with Idris2 and External Libs #682: Commit c0ac024 pushed by gallais
June 5, 2024 10:59 1m 5s main
main
June 5, 2024 10:59 1m 5s
[ new ] Data.SnocList.HasLength from compiler libs (#3299) Idris2 and External Libs #681: Commit 004f1fd pushed by gallais
June 5, 2024 10:51 8m 8s main
main
June 5, 2024 10:51 8m 8s
[ fixup #2939 ] Make futures not interfere with optimisations Idris2 and External Libs #670: Commit a6c5cf5 pushed by gallais
June 3, 2024 14:43 41m 46s main
main
June 3, 2024 14:43 41m 46s
Updated CHANGELOG_NEXT.md Idris2 and External Libs #655: Commit 10b0cc3 pushed by mjustus
May 31, 2024 09:22 40m 20s main
main
May 31, 2024 09:22 40m 20s
[ performance ] a faster implementation of unpack (#3281) Idris2 and External Libs #650: Commit e73ca06 pushed by gallais
May 24, 2024 07:06 40m 31s main
main
May 24, 2024 07:06 40m 31s
[ funext ] Add a proof for funext variants with the other quantities Idris2 and External Libs #646: Commit cf68e99 pushed by gallais
May 19, 2024 14:00 42m 16s main
main
May 19, 2024 14:00 42m 16s
Merge pull request #3283 from dunhamsteve/fix-windows-ci Idris2 and External Libs #634: Commit 2a3f031 pushed by andrevidela
May 18, 2024 07:21 40m 11s main
main
May 18, 2024 07:21 40m 11s
Merge pull request #3270 from dunhamsteve/impossible-lam Idris2 and External Libs #620: Commit 5d04f89 pushed by andrevidela
April 28, 2024 22:12 39m 30s main
main
April 28, 2024 22:12 39m 30s