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 #564: Pull request #3177 synchronize by seagull-kamome
March 23, 2024 08:17 1h 3m 42s seagull-kamome:suppress_arglist_wrapper
seagull-kamome:suppress_arglist_wrapper
March 23, 2024 08:17 1h 3m 42s
[ prelude ] the is linear in its input Idris2 and External Libs #563: Pull request #3239 opened by gallais
March 22, 2024 11:37 1h 0m 7s gallais:linear-the
gallais:linear-the
March 22, 2024 11:37 1h 0m 7s
prefer chez scheme 10+ over racket fork (#3233) Idris2 and External Libs #562: Commit 1c186f0 pushed by mattpolzin
March 21, 2024 18:30 52m 23s main
main
March 21, 2024 18:30 52m 23s
[RefC] Unbox small integers. (#3181) Idris2 and External Libs #561: Commit ddc634b pushed by mattpolzin
March 21, 2024 12:32 1h 4m 50s main
main
March 21, 2024 12:32 1h 4m 50s
[RefC] Unbox small integers. Idris2 and External Libs #560: Pull request #3181 synchronize by seagull-kamome
March 21, 2024 03:15 50m 48s seagull-kamome:unbox_small_int
seagull-kamome:unbox_small_int
March 21, 2024 03:15 50m 48s
prefer chez scheme 10+ over racket fork Idris2 and External Libs #559: Pull request #3233 synchronize by mattpolzin
March 19, 2024 13:39 53m 56s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 19, 2024 13:39 53m 56s
prefer chez scheme 10+ over racket fork Idris2 and External Libs #558: Pull request #3233 synchronize by mattpolzin
March 19, 2024 13:39 20s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 19, 2024 13:39 20s
prefer chez scheme 10+ over racket fork Idris2 and External Libs #557: Pull request #3233 synchronize by mattpolzin
March 19, 2024 13:30 9m 48s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 19, 2024 13:30 9m 48s
Complete the relocation of contrib HVect into base as All (#3191) Idris2 and External Libs #556: Commit 7ce4c45 pushed by mattpolzin
March 19, 2024 13:22 53m 39s main
main
March 19, 2024 13:22 53m 39s
Complete the relocation of contrib HVect into base as All Idris2 and External Libs #555: Pull request #3191 synchronize by mattpolzin
March 19, 2024 12:09 1h 1m 20s mattpolzin:contrib-hvect-removal
mattpolzin:contrib-hvect-removal
March 19, 2024 12:09 1h 1m 20s
Merge pull request #3238 from CodingCellist/test-issue1988-fixed Idris2 and External Libs #554: Commit 7c448b9 pushed by andrevidela
March 18, 2024 18:33 1h 5m 14s main
main
March 18, 2024 18:33 1h 5m 14s
[ test ] Add issue#1988 to the test suite Idris2 and External Libs #553: Pull request #3238 opened by CodingCellist
March 18, 2024 16:43 57m 8s CodingCellist:test-issue1988-fixed
CodingCellist:test-issue1988-fixed
March 18, 2024 16:43 57m 8s
Merge pull request #3235 from jacobjwalters/main Idris2 and External Libs #552: Commit d7d4c9c pushed by andrevidela
March 18, 2024 14:35 57m 12s main
main
March 18, 2024 14:35 57m 12s
[ elab ] Let elab scripts access visibility modifiers Idris2 and External Libs #551: Pull request #3235 synchronize by gallais
March 17, 2024 10:45 30m 32s jacobjwalters:main
jacobjwalters:main
March 17, 2024 10:45 30m 32s
[RefC] Unbox small integers. Idris2 and External Libs #550: Pull request #3181 synchronize by seagull-kamome
March 17, 2024 09:23 51m 26s seagull-kamome:unbox_small_int
seagull-kamome:unbox_small_int
March 17, 2024 09:23 51m 26s
Emit warning for fixities with no export modifiers Idris2 and External Libs #549: Pull request #3234 synchronize by andrevidela
March 17, 2024 09:22 49m 21s andrevidela:fixity-export-warning
andrevidela:fixity-export-warning
March 17, 2024 09:22 49m 21s
prefer chez scheme 10+ over racket fork Idris2 and External Libs #548: Pull request #3233 synchronize by mattpolzin
March 16, 2024 22:27 49m 6s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 16, 2024 22:27 49m 6s
Use overwrite install to fix glib installation (#3237) Idris2 and External Libs #547: Commit 4a5259b pushed by mattpolzin
March 16, 2024 21:56 49m 2s main
main
March 16, 2024 21:56 49m 2s
Use overwrite install to fix glib installation Idris2 and External Libs #546: Pull request #3237 synchronize by andrevidela
March 16, 2024 20:58 56m 47s andrevidela:fix-brew
andrevidela:fix-brew
March 16, 2024 20:58 56m 47s
Use overwrite install to fix glib installation Idris2 and External Libs #545: Pull request #3237 synchronize by andrevidela
March 16, 2024 20:53 4m 40s andrevidela:fix-brew
andrevidela:fix-brew
March 16, 2024 20:53 4m 40s
Use overwrite install to fix glib installation Idris2 and External Libs #544: Pull request #3237 opened by andrevidela
March 16, 2024 00:22 29m 0s andrevidela:fix-brew
andrevidela:fix-brew
March 16, 2024 00:22 29m 0s
See about fixing MacOS dependency installation Idris2 and External Libs #543: Pull request #3236 opened by mattpolzin
March 15, 2024 23:31 39m 26s mattpolzin:spaghetti-ci-fix
mattpolzin:spaghetti-ci-fix
March 15, 2024 23:31 39m 26s
Emit warning for fixities with no export modifiers Idris2 and External Libs #542: Pull request #3234 synchronize by andrevidela
March 15, 2024 23:15 28m 41s andrevidela:fixity-export-warning
andrevidela:fixity-export-warning
March 15, 2024 23:15 28m 41s
[ elab ] Let elab scripts access visibility modifiers Idris2 and External Libs #541: Pull request #3235 opened by jacobjwalters
March 15, 2024 22:54 40m 38s jacobjwalters:main
jacobjwalters:main
March 15, 2024 22:54 40m 38s
Emit warning for fixities with no export modifiers Idris2 and External Libs #540: Pull request #3234 synchronize by andrevidela
March 15, 2024 22:47 27m 52s andrevidela:fixity-export-warning
andrevidela:fixity-export-warning
March 15, 2024 22:47 27m 52s