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

[RefC] Suppress arglist wrapper Idris2 and External Libs #589: Pull request #3177 synchronize by gallais
April 3, 2024 16:35 56m 49s seagull-kamome:suppress_arglist_wrapper
seagull-kamome:suppress_arglist_wrapper
April 3, 2024 16:35 56m 49s
[ 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
[ re #3177 ] Separate the renaming from the rest Idris2 and External Libs #587: Pull request #3248 synchronize by gallais
April 3, 2024 14:59 56m 8s gallais:idris-prefix
gallais:idris-prefix
April 3, 2024 14:59 56m 8s
[ re #3177 ] Separate the renaming from the rest Idris2 and External Libs #586: Pull request #3248 synchronize by gallais
April 3, 2024 14:56 3m 46s gallais:idris-prefix
gallais:idris-prefix
April 3, 2024 14:56 3m 46s
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
[ re #3177 ] Separate the renaming from the rest Idris2 and External Libs #584: Pull request #3248 opened by gallais
April 3, 2024 14:41 15m 52s gallais:idris-prefix
gallais:idris-prefix
April 3, 2024 14:41 15m 52s
[ base ] Add flipped access/update functions for Sorted{Set,Map,DMap} Idris2 and External Libs #583: Pull request #3247 opened by buzden
April 3, 2024 12:15 44m 58s buzden:flipped-sorted-map-set-funs
buzden:flipped-sorted-map-set-funs
April 3, 2024 12:15 44m 58s
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
[fix] macos-nix build: refc support files don't build under default environment anymore Idris2 and External Libs #581: Pull request #3246 opened by mattpolzin
April 1, 2024 15:58 51m 33s mattpolzin:nix-macos-fix-build
mattpolzin:nix-macos-fix-build
April 1, 2024 15:58 51m 33s
[cleanup] Makefile boot-prefix cleanup Idris2 and External Libs #580: Pull request #3245 opened by mattpolzin
April 1, 2024 15:15 1h 0m 27s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
April 1, 2024 15:15 1h 0m 27s
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
[ contrib ] Add Data.UUID Idris2 and External Libs #578: Pull request #3244 opened by glmxndr
April 1, 2024 14:39 55m 56s glmxndr:contrib-uuid
glmxndr:contrib-uuid
April 1, 2024 14:39 55m 56s
better nix-shell support via shellHook Idris2 and External Libs #577: Pull request #3243 opened by mattpolzin
April 1, 2024 13:59 56m 5s mattpolzin:nix-build-idris-path
mattpolzin:nix-build-idris-path
April 1, 2024 13:59 56m 5s
[RefC] Object Immortalization and Pre-Generation of Constants Idris2 and External Libs #576: Pull request #3242 opened by seagull-kamome
March 31, 2024 10:49 52m 30s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
March 31, 2024 10:49 52m 30s
Emit warning for fixities with no export modifiers Idris2 and External Libs #575: Pull request #3234 synchronize by andrevidela
March 30, 2024 01:00 1m 44s andrevidela:fixity-export-warning
andrevidela:fixity-export-warning
March 30, 2024 01:00 1m 44s
Emit warning for fixities with no export modifiers Idris2 and External Libs #574: Pull request #3234 synchronize by andrevidela
March 29, 2024 12:24 22m 25s andrevidela:fixity-export-warning
andrevidela:fixity-export-warning
March 29, 2024 12:24 22m 25s
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
[ prelude ] the is linear in its input Idris2 and External Libs #566: Pull request #3239 synchronize by gallais
March 26, 2024 14:57 1h 6m 2s gallais:linear-the
gallais:linear-the
March 26, 2024 14:57 1h 6m 2s
[RefC] Suppress arglist wrapper Idris2 and External Libs #565: Pull request #3177 synchronize by seagull-kamome
March 23, 2024 13:06 51m 38s seagull-kamome:suppress_arglist_wrapper
seagull-kamome:suppress_arglist_wrapper
March 23, 2024 13:06 51m 38s