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

Add an option that dumps package details to JSON Idris2 and External Libs #669: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:38 41m 39s package-json
package-json
June 2, 2024 23:38 41m 39s
Add an option that dumps package details to JSON Idris2 and External Libs #668: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:07 31m 57s package-json
package-json
June 2, 2024 23:07 31m 57s
Add new module to api ipkg file Idris2 and External Libs #667: Commit 06af29d pushed by mattpolzin
June 2, 2024 23:07 41m 3s package-json
package-json
June 2, 2024 23:07 41m 3s
Add an option that dumps package details to JSON Idris2 and External Libs #666: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:45 21m 55s package-json
package-json
June 2, 2024 22:45 21m 55s
make new operator private Idris2 and External Libs #665: Commit e0cac96 pushed by mattpolzin
June 2, 2024 22:45 21m 55s package-json
package-json
June 2, 2024 22:45 21m 55s
Add an option that dumps package details to JSON Idris2 and External Libs #664: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:25 20m 34s package-json
package-json
June 2, 2024 22:25 20m 34s
maybe just don't collide with existing equally good fixity Idris2 and External Libs #663: Commit c7cae0c pushed by mattpolzin
June 2, 2024 22:25 20m 34s package-json
package-json
June 2, 2024 22:25 20m 34s
Add an option that dumps package details to JSON Idris2 and External Libs #662: Pull request #3293 opened by mattpolzin
June 2, 2024 21:39 39m 17s package-json
package-json
June 2, 2024 21:39 39m 17s
cleanup Idris2 and External Libs #661: Commit 66b5edb pushed by mattpolzin
June 2, 2024 21:31 40m 20s package-json
package-json
June 2, 2024 21:31 40m 20s
Add a test for ipkg json dump Idris2 and External Libs #660: Commit 8fa943d pushed by mattpolzin
June 2, 2024 21:20 11m 28s package-json
package-json
June 2, 2024 21:20 11m 28s
make dependency output easier to ingest by another tool Idris2 and External Libs #659: Commit 875fb65 pushed by mattpolzin
June 2, 2024 21:03 17m 5s package-json
package-json
June 2, 2024 21:03 17m 5s
expose ipkg json dump as new option Idris2 and External Libs #658: Commit 7113949 pushed by mattpolzin
June 2, 2024 20:40 24m 2s package-json
package-json
June 2, 2024 20:40 24m 2s
[ fixup #2939 ] Make futures not interfere with optimisations Idris2 and External Libs #657: Pull request #3292 opened by buzden
May 31, 2024 12:32 38m 51s buzden:fixup-force-and-future
buzden:fixup-force-and-future
May 31, 2024 12:32 38m 51s
[ elab ] Make %runElab expressions have unrestricted quantity Idris2 and External Libs #656: Pull request #2021 synchronize by buzden
May 31, 2024 11:12 41m 3s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
May 31, 2024 11:12 41m 3s
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
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Idris2 and External Libs #654: Pull request #2939 synchronize by AlgebraicWolf
May 29, 2024 21:25 40m 41s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
May 29, 2024 21:25 40m 41s
Add pipeline operators Idris2 and External Libs #652: Pull request #3284 synchronize by observant2
May 25, 2024 10:40 41m 29s observant2:add_pipe_operators
observant2:add_pipe_operators
May 25, 2024 10:40 41m 29s
[ 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
refactor(base): move implementation of Data.Vect.nubBy to global scope Idris2 and External Libs #649: Pull request #3288 synchronize by troiganto
May 23, 2024 15:21 45m 29s troiganto:nub-by
troiganto:nub-by
May 23, 2024 15:21 45m 29s
Add pipeline operators Idris2 and External Libs #647: Pull request #3284 synchronize by observant2
May 19, 2024 15:22 23m 4s observant2:add_pipe_operators
observant2:add_pipe_operators
May 19, 2024 15:22 23m 4s
[ 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
Add pipeline operators Idris2 and External Libs #645: Pull request #3284 opened by observant2
May 19, 2024 10:54 12m 5s observant2:add_pipe_operators
observant2:add_pipe_operators
May 19, 2024 10:54 12m 5s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #644: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:47 31m 31s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:47 31m 31s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #643: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:30 16m 45s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:30 16m 45s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #642: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:10 21m 0s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:10 21m 0s