Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add partiality/delay monad Sphinx #4176: Pull request #3240 synchronize by eayus
March 28, 2024 16:44 40s eayus:main
eayus:main
March 28, 2024 16:44 40s
Add partiality/delay monad Sphinx #4175: Pull request #3240 synchronize by eayus
March 28, 2024 11:34 29s eayus:main
eayus:main
March 28, 2024 11:34 29s
Add partiality/delay monad Sphinx #4174: Pull request #3240 synchronize by eayus
March 28, 2024 11:28 31s eayus:main
eayus:main
March 28, 2024 11:28 31s
Add partiality/delay monad Sphinx #4173: Pull request #3240 synchronize by eayus
March 28, 2024 11:28 31s eayus:main
eayus:main
March 28, 2024 11:28 31s
Add partiality/delay monad Sphinx #4172: Pull request #3240 synchronize by eayus
March 27, 2024 20:42 38s eayus:main
eayus:main
March 27, 2024 20:42 38s
Add partiality/delay monad Sphinx #4171: Pull request #3240 opened by eayus
March 27, 2024 20:33 34s eayus:main
eayus:main
March 27, 2024 20:33 34s
[ prelude ] the is linear in its input (#3239) Sphinx #4170: Commit 2c2aa85 pushed by gallais
March 27, 2024 14:09 40s main
main
March 27, 2024 14:09 40s
[ prelude ] the is linear in its input Sphinx #4169: Pull request #3239 synchronize by gallais
March 26, 2024 14:57 39s gallais:linear-the
gallais:linear-the
March 26, 2024 14:57 39s
[RefC] Suppress arglist wrapper Sphinx #4168: Pull request #3177 synchronize by seagull-kamome
March 23, 2024 13:06 29s seagull-kamome:suppress_arglist_wrapper
seagull-kamome:suppress_arglist_wrapper
March 23, 2024 13:06 29s
[RefC] Suppress arglist wrapper Sphinx #4167: Pull request #3177 synchronize by seagull-kamome
March 23, 2024 08:17 54s seagull-kamome:suppress_arglist_wrapper
seagull-kamome:suppress_arglist_wrapper
March 23, 2024 08:17 54s
[ prelude ] the is linear in its input Sphinx #4166: Pull request #3239 opened by gallais
March 22, 2024 11:37 50s gallais:linear-the
gallais:linear-the
March 22, 2024 11:37 50s
prefer chez scheme 10+ over racket fork (#3233) Sphinx #4165: Commit 1c186f0 pushed by mattpolzin
March 21, 2024 18:30 49s main
main
March 21, 2024 18:30 49s
[RefC] Unbox small integers. (#3181) Sphinx #4164: Commit ddc634b pushed by mattpolzin
March 21, 2024 12:32 45s main
main
March 21, 2024 12:32 45s
[RefC] Unbox small integers. Sphinx #4163: Pull request #3181 synchronize by seagull-kamome
March 21, 2024 03:15 27s seagull-kamome:unbox_small_int
seagull-kamome:unbox_small_int
March 21, 2024 03:15 27s
prefer chez scheme 10+ over racket fork Sphinx #4162: Pull request #3233 synchronize by mattpolzin
March 19, 2024 13:39 36s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 19, 2024 13:39 36s
prefer chez scheme 10+ over racket fork Sphinx #4161: Pull request #3233 synchronize by mattpolzin
March 19, 2024 13:39 31s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 19, 2024 13:39 31s
prefer chez scheme 10+ over racket fork Sphinx #4160: Pull request #3233 synchronize by mattpolzin
March 19, 2024 13:30 31s mattpolzin:prefer-chez-10
mattpolzin:prefer-chez-10
March 19, 2024 13:30 31s
Complete the relocation of contrib HVect into base as All (#3191) Sphinx #4159: Commit 7ce4c45 pushed by mattpolzin
March 19, 2024 13:22 40s main
main
March 19, 2024 13:22 40s
Complete the relocation of contrib HVect into base as All Sphinx #4158: Pull request #3191 synchronize by mattpolzin
March 19, 2024 12:09 35s mattpolzin:contrib-hvect-removal
mattpolzin:contrib-hvect-removal
March 19, 2024 12:09 35s
Merge pull request #3238 from CodingCellist/test-issue1988-fixed Sphinx #4157: Commit 7c448b9 pushed by andrevidela
March 18, 2024 18:33 36s main
main
March 18, 2024 18:33 36s
[ test ] Add issue#1988 to the test suite Sphinx #4156: Pull request #3238 opened by CodingCellist
March 18, 2024 16:43 36s CodingCellist:test-issue1988-fixed
CodingCellist:test-issue1988-fixed
March 18, 2024 16:43 36s
Merge pull request #3235 from jacobjwalters/main Sphinx #4155: Commit d7d4c9c pushed by andrevidela
March 18, 2024 14:35 39s main
main
March 18, 2024 14:35 39s
[ elab ] Let elab scripts access visibility modifiers Sphinx #4154: Pull request #3235 synchronize by gallais
March 17, 2024 10:45 26s jacobjwalters:main
jacobjwalters:main
March 17, 2024 10:45 26s
[ doc ] document %cg pragma (#3217) Sphinx #4153: Commit 388fe83 pushed by gallais
March 17, 2024 10:40 29s main
main
March 17, 2024 10:40 29s
[RefC] Unbox small integers. Sphinx #4152: Pull request #3181 synchronize by seagull-kamome
March 17, 2024 09:23 29s seagull-kamome:unbox_small_int
seagull-kamome:unbox_small_int
March 17, 2024 09:23 29s