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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3197 from seagull-kamome/removaloftheworld Idris2 and External Libs #409: Commit d2d6be5 pushed by andrevidela
January 21, 2024 18:03 56m 9s main
main
January 21, 2024 18:03 56m 9s
Fix buildIdris on non-macos machines (#3195) Idris2 and External Libs #390: Commit d34cf62 pushed by mattpolzin
January 19, 2024 01:51 47m 19s main
main
January 19, 2024 01:51 47m 19s
Remove use of deprecated getByte function (#3190) Idris2 and External Libs #373: Commit 073fbef pushed by mattpolzin
January 14, 2024 17:26 42m 50s main
main
January 14, 2024 17:26 42m 50s
[ fix ] Disable top-level constants optimisation during incremental c… Idris2 and External Libs #372: Commit 6c70048 pushed by mattpolzin
January 14, 2024 17:22 4m 34s main
main
January 14, 2024 17:22 4m 34s
- [RefC] delete unnecessary conversion to keep code simply. (#3176) Idris2 and External Libs #371: Commit 844ea28 pushed by mattpolzin
January 14, 2024 17:17 5m 38s main
main
January 14, 2024 17:17 5m 38s
Fix executable output of buildIdris nix helper (#3188) Idris2 and External Libs #362: Commit da6f0b0 pushed by mattpolzin
January 9, 2024 05:58 50m 24s main
main
January 9, 2024 05:58 50m 24s
Merge pull request #3189 from mattpolzin/make-js-executable Idris2 and External Libs #354: Commit 2b5030a pushed by andrevidela
January 7, 2024 09:47 52m 42s main
main
January 7, 2024 09:47 52m 42s
Improve buildIdris and expose the idris2-api via the Nix flake. (… Idris2 and External Libs #343: Commit 8746f16 pushed by mattpolzin
January 5, 2024 21:59 50m 20s main
main
January 5, 2024 21:59 50m 20s
Merge pull request #3187 from nukisman/patch-5 Idris2 and External Libs #342: Commit 3c8fc8b pushed by andrevidela
January 5, 2024 13:46 58m 17s main
main
January 5, 2024 13:46 58m 17s
- [RefC] delete unnecessary conversion to keep code simply. Idris2 and External Libs #335: Pull request #3176 synchronize by seagull-kamome
January 3, 2024 16:04 52m 57s seagull-kamome:main
seagull-kamome:main
January 3, 2024 16:04 52m 57s
[ re #3177 ] Test to see the change in calling conventions Idris2 and External Libs #333: Commit 915b340 pushed by gallais
January 3, 2024 12:23 50m 27s main
main
January 3, 2024 12:23 50m 27s
Add (++) for List variation of All (#3179) Idris2 and External Libs #324: Commit ee18555 pushed by mattpolzin
January 2, 2024 03:03 47m 33s main
main
January 2, 2024 03:03 47m 33s
[ test ] Add tests for GetOpt Idris2 and External Libs #308: Commit 7815f20 pushed by mattpolzin
December 30, 2023 20:22 45m 52s main
main
December 30, 2023 20:22 45m 52s
[ interpolate ] Implement Interpolation for primitive numeric types Idris2 and External Libs #299: Commit 3fe95d4 pushed by mattpolzin
December 29, 2023 17:17 43m 46s main
main
December 29, 2023 17:17 43m 46s
[ sync ] Synchronise lazy list impl in src/Libraries with base Idris2 and External Libs #297: Commit 439aa00 pushed by mattpolzin
December 29, 2023 15:22 51m 18s main
main
December 29, 2023 15:22 51m 18s
- [RefC] delete unnecessary conversion to keep code simply. Idris2 and External Libs #293: Pull request #3176 synchronize by seagull-kamome
December 28, 2023 13:00 45m 53s seagull-kamome:main
seagull-kamome:main
December 28, 2023 13:00 45m 53s
- [RefC] delete unnecessary conversion to keep code simply. Idris2 and External Libs #292: Pull request #3176 synchronize by seagull-kamome
December 28, 2023 12:55 4m 59s seagull-kamome:main
seagull-kamome:main
December 28, 2023 12:55 4m 59s
- [RefC] delete unnecessary conversion to keep code simply. Idris2 and External Libs #291: Pull request #3176 opened by seagull-kamome
December 28, 2023 12:50 5m 58s seagull-kamome:main
seagull-kamome:main
December 28, 2023 12:50 5m 58s
Separate support derivation (and small related tweaks to the Makefile… Idris2 and External Libs #290: Commit ac266b7 pushed by mattpolzin
December 27, 2023 14:14 52m 44s main
main
December 27, 2023 14:14 52m 44s
[ prelude ] Make able to implement provably total showPrec recursively Idris2 and External Libs #289: Commit 0e831ed pushed by gallais
December 26, 2023 10:17 49m 41s main
main
December 26, 2023 10:17 49m 41s
[ cleanup ] Post v0.7.0 cleanup Idris2 and External Libs #287: Commit 82bb12c pushed by gallais
December 25, 2023 13:49 51m 12s main
main
December 25, 2023 13:49 51m 12s
[ admin ] Update checklist for v0.7.0-rc2 Idris2 and External Libs #279: Commit 2778007 pushed by CodingCellist
December 22, 2023 13:44 51m 5s main
main
December 22, 2023 13:44 51m 5s
Update CHANGELOG.md Idris2 and External Libs #274: Commit 4edd690 pushed by mattpolzin
December 21, 2023 19:30 55m 50s main
main
December 21, 2023 19:30 55m 50s
[ cleanup ] Clean up stuff that needs to be cleaned after 0.6.0 release Idris2 and External Libs #271: Commit 13ef7dd pushed by mattpolzin
December 21, 2023 16:56 1h 0m 12s main
main
December 21, 2023 16:56 1h 0m 12s
[ fix, re #3063 ] Fix forgotten reflection values Idris2 and External Libs #270: Commit 36132f6 pushed by CodingCellist
December 21, 2023 16:31 26m 21s main
main
December 21, 2023 16:31 26m 21s