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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
Merge pull request #3253 from dunhamsteve/issue3251 Idris2 and External Libs #616: Commit 84ce3a6 pushed by andrevidela
April 27, 2024 23:17 39m 46s main
main
April 27, 2024 23:17 39m 46s
Merge pull request #3269 from dunhamsteve/fix-macos-build Idris2 and External Libs #615: Commit 3489cc3 pushed by andrevidela
April 27, 2024 23:16 1m 13s main
main
April 27, 2024 23:16 1m 13s
Merge pull request #3267 from stefan-hoeck/fin0 Idris2 and External Libs #608: Commit 2298f88 pushed by andrevidela
April 22, 2024 15:50 55m 24s main
main
April 22, 2024 15:50 55m 24s
Merge pull request #3265 from andrevidela/fix-fixity-warning Idris2 and External Libs #606: Commit 517b283 pushed by andrevidela
April 21, 2024 23:34 58m 30s main
main
April 21, 2024 23:34 58m 30s
[RefC] Suppress arglist wrapper (#3177) Idris2 and External Libs #603: Commit 1dc7b74 pushed by gallais
April 17, 2024 14:48 55m 4s main
main
April 17, 2024 14:48 55m 4s
fixed bugs that caused compiler to hang forever when there is %tcinline pragma Idris2 and External Libs #599: Pull request #3257 opened by AntonPing
April 15, 2024 13:21 39m 26s AntonPing:main
AntonPing:main
April 15, 2024 13:21 39m 26s
Merge pull request #3250 from andrevidela/fix-3249 Idris2 and External Libs #592: Commit b690dc1 pushed by andrevidela
April 4, 2024 16:20 43m 46s main
main
April 4, 2024 16:20 43m 46s
Add partiality/delay monad (#3240) Idris2 and External Libs #590: Commit 2823281 pushed by gallais
April 4, 2024 10:53 53m 6s main
main
April 4, 2024 10:53 53m 6s
[ re #3177 ] Separate the renaming from the rest (#3248) Idris2 and External Libs #588: Commit fee293b pushed by gallais
April 3, 2024 16:22 56m 37s main
main
April 3, 2024 16:22 56m 37s
Emit warning for fixities with no export modifiers (#3234) Idris2 and External Libs #585: Commit 75032a7 pushed by gallais
April 3, 2024 14:42 59m 36s main
main
April 3, 2024 14:42 59m 36s
fix macos-nix build where refc support files don't build under defaul… Idris2 and External Libs #582: Commit aa3f67c pushed by mattpolzin
April 2, 2024 01:09 59m 49s main
main
April 2, 2024 01:09 59m 49s
better nix-shell support via shellHook (#3243) Idris2 and External Libs #579: Commit 1977dbd pushed by mattpolzin
April 1, 2024 15:00 54m 14s main
main
April 1, 2024 15:00 54m 14s
Add partiality/delay monad Idris2 and External Libs #573: Pull request #3240 synchronize by eayus
March 28, 2024 16:44 1h 10m 18s eayus:main
eayus:main
March 28, 2024 16:44 1h 10m 18s
Add partiality/delay monad Idris2 and External Libs #572: Pull request #3240 synchronize by eayus
March 28, 2024 11:34 51m 58s eayus:main
eayus:main
March 28, 2024 11:34 51m 58s
Add partiality/delay monad Idris2 and External Libs #571: Pull request #3240 synchronize by eayus
March 28, 2024 11:28 5m 56s eayus:main
eayus:main
March 28, 2024 11:28 5m 56s
Add partiality/delay monad Idris2 and External Libs #570: Pull request #3240 synchronize by eayus
March 28, 2024 11:28 1m 7s eayus:main
eayus:main
March 28, 2024 11:28 1m 7s
Add partiality/delay monad Idris2 and External Libs #569: Pull request #3240 synchronize by eayus
March 27, 2024 20:42 1h 9m 13s eayus:main
eayus:main
March 27, 2024 20:42 1h 9m 13s
Add partiality/delay monad Idris2 and External Libs #568: Pull request #3240 opened by eayus
March 27, 2024 20:33 9m 13s eayus:main
eayus:main
March 27, 2024 20:33 9m 13s
[ prelude ] the is linear in its input (#3239) Idris2 and External Libs #567: Commit 2c2aa85 pushed by gallais
March 27, 2024 14:09 55m 12s main
main
March 27, 2024 14:09 55m 12s