Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
218 workflow run results
218 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ cleanup ] Remove redundant Ref arguments (#3496) Sphinx #4907: Commit a386fee pushed by mattpolzin
February 26, 2025 02:32 34s main
main
February 26, 2025 02:32 34s
Use single, linear callback in newSocket (#3498) Sphinx #4902: Commit e341368 pushed by gallais
February 23, 2025 16:32 31s main
main
February 23, 2025 16:32 31s
Migrate contrib:Data.Vect.Views.Extra to base:Data.Vect.Views (#3497) Sphinx #4900: Commit 34ccd1e pushed by mattpolzin
February 22, 2025 21:52 29s main
main
February 22, 2025 21:52 29s
[ fix ] Forward data declarations are linear Sphinx #4899: Commit 8f1d8b7 pushed by gallais
February 22, 2025 21:48 33s main
main
February 22, 2025 21:48 33s
[new] Support literate Djot files Sphinx #4895: Commit 69f198d pushed by buzden
February 22, 2025 06:53 26s main
main
February 22, 2025 06:53 26s
[ fix #3448, #3052 ] Fix %search in constraint (#3451) Sphinx #4872: Commit 4e8847b pushed by buzden
February 17, 2025 12:40 37s main
main
February 17, 2025 12:40 37s
Merge pull request #3492 from Matthew-Mosior/bump-timeout-for-flaky-test Sphinx #4870: Commit aa18959 pushed by dunhamsteve
February 16, 2025 19:03 29s main
main
February 16, 2025 19:03 29s
[ refactor ] Use List1 for determining parameters (#3489) Sphinx #4864: Commit 4889328 pushed by andrevidela
February 13, 2025 16:49 35s main
main
February 13, 2025 16:49 35s
Make CONS, NIL, JUST and NOTHING constructors have uniform na… Sphinx #4856: Commit a3aaef0 pushed by Z-snails
February 11, 2025 11:13 35s main
main
February 11, 2025 11:13 35s
Empty data declarations are confused with forward data declarations (… Sphinx #4853: Commit d9ed15f pushed by gallais
February 9, 2025 09:33 1m 39s main
main
February 9, 2025 09:33 1m 39s
[ fix ] False positives checking for conflicts in coverage checking (… Sphinx #4849: Commit 7ca34d1 pushed by gallais
February 6, 2025 10:59 36s main
main
February 6, 2025 10:59 36s
Support for non-glibc versions of linux (musl, android) (#3336) Sphinx #4848: Commit e33de48 pushed by gallais
February 6, 2025 08:58 26s main
main
February 6, 2025 08:58 26s
Support for non-glibc versions of linux (musl, android) Sphinx #4845: Pull request #3336 synchronize by gallais
February 5, 2025 13:19 33s spocino:main
spocino:main
February 5, 2025 13:19 33s
Support for non-glibc versions of linux (musl, android) Sphinx #4844: Pull request #3336 synchronize by gallais
February 5, 2025 13:01 30s spocino:main
spocino:main
February 5, 2025 13:01 30s
[ base ] Add non-blocking and timeout variants for channelGet (#3435) Sphinx #4843: Commit 2471f09 pushed by gallais
February 5, 2025 12:03 31s main
main
February 5, 2025 12:03 31s
[ linear ] add concurrently Sphinx #4842: Commit 0f52e0a pushed by gallais
February 5, 2025 11:41 33s main
main
February 5, 2025 11:41 33s
[ new ] add --show-implicits flag (#3484) Sphinx #4841: Commit 80c4ca1 pushed by mattpolzin
February 4, 2025 09:00 33s main
main
February 4, 2025 09:00 33s
add a constructor to the Category interface (#3483) Sphinx #4838: Commit 0751a91 pushed by andrevidela
February 3, 2025 23:32 32s main
main
February 3, 2025 23:32 32s
update buildIdris function to support withSource retroactively (#3469) Sphinx #4814: Commit 8e420d6 pushed by mattpolzin
January 21, 2025 13:59 32s main
main
January 21, 2025 13:59 32s
Parser refactor (#3450) Sphinx #4812: Commit 82ea4b1 pushed by andrevidela
January 19, 2025 11:19 34s main
main
January 19, 2025 11:19 34s
Fix parameter records (#3468) Sphinx #4810: Commit 77df186 pushed by andrevidela
January 17, 2025 18:17 32s main
main
January 17, 2025 18:17 32s
deprecate old parameter-block syntax (#3464) Sphinx #4799: Commit 2c56b87 pushed by andrevidela
January 15, 2025 18:20 6m 11s main
main
January 15, 2025 18:20 6m 11s
[ re #3423 ] Make IClaimData to be a data, not record (#3465) Sphinx #4797: Commit 393fb22 pushed by andrevidela
January 15, 2025 13:47 31s main
main
January 15, 2025 13:47 31s
[ linear ] fork1, concurrently1 Sphinx #4791: Commit 812a469 pushed by gallais
January 13, 2025 15:01 32s main
main
January 13, 2025 15:01 32s
only FC changes (#3460) Sphinx #4786: Commit 09088a1 pushed by andrevidela
January 7, 2025 11:39 31s main
main
January 7, 2025 11:39 31s