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

[ cleanup ] Remove redundant Ref arguments (#3496) Idris2 and External Libs #1271: Commit a386fee pushed by mattpolzin
February 26, 2025 02:32 41m 37s main
main
February 26, 2025 02:32 41m 37s
Use single, linear callback in newSocket (#3498) Idris2 and External Libs #1266: Commit e341368 pushed by gallais
February 23, 2025 16:32 41m 26s main
main
February 23, 2025 16:32 41m 26s
Migrate contrib:Data.Vect.Views.Extra to base:Data.Vect.Views (#3497) Idris2 and External Libs #1264: Commit 34ccd1e pushed by mattpolzin
February 22, 2025 21:52 43m 32s main
main
February 22, 2025 21:52 43m 32s
[ fix ] Forward data declarations are linear Idris2 and External Libs #1263: Commit 8f1d8b7 pushed by gallais
February 22, 2025 21:48 4m 21s main
main
February 22, 2025 21:48 4m 21s
[new] Support literate Djot files Idris2 and External Libs #1259: Commit 69f198d pushed by buzden
February 22, 2025 06:53 42m 53s main
main
February 22, 2025 06:53 42m 53s
[ fix #3448, #3052 ] Fix %search in constraint (#3451) Idris2 and External Libs #1237: Commit 4e8847b pushed by buzden
February 17, 2025 12:40 26m 26s main
main
February 17, 2025 12:40 26m 26s
Merge pull request #3492 from Matthew-Mosior/bump-timeout-for-flaky-test Idris2 and External Libs #1235: Commit aa18959 pushed by dunhamsteve
February 16, 2025 19:03 41m 43s main
main
February 16, 2025 19:03 41m 43s
[ refactor ] Use List1 for determining parameters (#3489) Idris2 and External Libs #1230: Commit 4889328 pushed by andrevidela
February 13, 2025 16:49 43m 1s main
main
February 13, 2025 16:49 43m 1s
Make CONS, NIL, JUST and NOTHING constructors have uniform na… Idris2 and External Libs #1222: Commit a3aaef0 pushed by Z-snails
February 11, 2025 11:13 47m 57s main
main
February 11, 2025 11:13 47m 57s
Empty data declarations are confused with forward data declarations (… Idris2 and External Libs #1219: Commit d9ed15f pushed by gallais
February 9, 2025 09:33 41m 38s main
main
February 9, 2025 09:33 41m 38s
[ fix ] False positives checking for conflicts in coverage checking (… Idris2 and External Libs #1215: Commit 7ca34d1 pushed by gallais
February 6, 2025 10:59 42m 51s main
main
February 6, 2025 10:59 42m 51s
Support for non-glibc versions of linux (musl, android) (#3336) Idris2 and External Libs #1214: Commit e33de48 pushed by gallais
February 6, 2025 08:58 11m 25s main
main
February 6, 2025 08:58 11m 25s
Support for non-glibc versions of linux (musl, android) Idris2 and External Libs #1211: Pull request #3336 synchronize by gallais
February 5, 2025 13:19 43m 14s spocino:main
spocino:main
February 5, 2025 13:19 43m 14s
Support for non-glibc versions of linux (musl, android) Idris2 and External Libs #1210: Pull request #3336 synchronize by gallais
February 5, 2025 13:01 26m 49s spocino:main
spocino:main
February 5, 2025 13:01 26m 49s
[ base ] Add non-blocking and timeout variants for channelGet (#3435) Idris2 and External Libs #1209: Commit 2471f09 pushed by gallais
February 5, 2025 12:03 43m 45s main
main
February 5, 2025 12:03 43m 45s
[ linear ] add concurrently Idris2 and External Libs #1208: Commit 0f52e0a pushed by gallais
February 5, 2025 11:41 21m 38s main
main
February 5, 2025 11:41 21m 38s
[ new ] add --show-implicits flag (#3484) Idris2 and External Libs #1207: Commit 80c4ca1 pushed by mattpolzin
February 4, 2025 09:00 42m 24s main
main
February 4, 2025 09:00 42m 24s
add a constructor to the Category interface (#3483) Idris2 and External Libs #1204: Commit 0751a91 pushed by andrevidela
February 3, 2025 23:32 43m 8s main
main
February 3, 2025 23:32 43m 8s
update buildIdris function to support withSource retroactively (#3469) Idris2 and External Libs #1180: Commit 8e420d6 pushed by mattpolzin
January 21, 2025 13:59 42m 0s main
main
January 21, 2025 13:59 42m 0s
Parser refactor (#3450) Idris2 and External Libs #1178: Commit 82ea4b1 pushed by andrevidela
January 19, 2025 11:19 41m 35s main
main
January 19, 2025 11:19 41m 35s
Fix parameter records (#3468) Idris2 and External Libs #1176: Commit 77df186 pushed by andrevidela
January 17, 2025 18:17 41m 27s main
main
January 17, 2025 18:17 41m 27s
deprecate old parameter-block syntax (#3464) Idris2 and External Libs #1166: Commit 2c56b87 pushed by andrevidela
January 15, 2025 18:20 40m 31s main
main
January 15, 2025 18:20 40m 31s
[ re #3423 ] Make IClaimData to be a data, not record (#3465) Idris2 and External Libs #1164: Commit 393fb22 pushed by andrevidela
January 15, 2025 13:47 44m 50s main
main
January 15, 2025 13:47 44m 50s
[ linear ] fork1, concurrently1 Idris2 and External Libs #1158: Commit 812a469 pushed by gallais
January 13, 2025 15:01 42m 24s main
main
January 13, 2025 15:01 42m 24s
only FC changes (#3460) Idris2 and External Libs #1153: Commit 09088a1 pushed by andrevidela
January 7, 2025 11:39 41m 58s main
main
January 7, 2025 11:39 41m 58s