Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
1,165 workflow runs
1,165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ base ] Add atomically function Sphinx #4513: Pull request #3380 synchronize by Matthew-Mosior
September 8, 2024 01:42 52s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 8, 2024 01:42 52s
[ base ] Add atomically function Sphinx #4512: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 20:48 24s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 20:48 24s
[ base ] Add atomically function Sphinx #4511: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 20:47 28s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 20:47 28s
[ base ] Add atomically function Sphinx #4510: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 20:38 43s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 20:38 43s
[ base ] Add atomically function Sphinx #4509: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 14:59 36s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 14:59 36s
[ base ] Add atomically function Sphinx #4508: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 14:49 34s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 14:49 34s
[ base ] Add atomically function Sphinx #4507: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 00:41 26s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 00:41 26s
[ base ] Add atomically function Sphinx #4506: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 00:38 40s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 00:38 40s
[ base ] Add atomically function Sphinx #4505: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 00:28 46s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 00:28 46s
[ base ] Add atomically function Sphinx #4504: Pull request #3380 synchronize by Matthew-Mosior
September 6, 2024 16:56 34s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 6, 2024 16:56 34s
[ base ] Add atomically function Sphinx #4503: Pull request #3380 opened by Matthew-Mosior
September 6, 2024 16:52 34s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 6, 2024 16:52 34s
[fix] include stdio header in readline C code in example so it builds… Sphinx #4502: Commit 5459e17 pushed by mattpolzin
September 1, 2024 13:57 32s main
main
September 1, 2024 13:57 32s
[fix] include stdio header in readline C code in example so it builds on all systems Sphinx #4501: Pull request #3378 synchronize by mattpolzin
August 31, 2024 21:37 33s mattpolzin:fix-readline-example
mattpolzin:fix-readline-example
August 31, 2024 21:37 33s
[fix] include stdio header in readline C code in example so it builds on all systems Sphinx #4500: Pull request #3378 opened by mattpolzin
August 31, 2024 21:31 32s mattpolzin:fix-readline-example
mattpolzin:fix-readline-example
August 31, 2024 21:31 32s
[ codegen ] get rid of artifacts introduced when optimizing IO (#3376) Sphinx #4498: Commit c5f31c9 pushed by gallais
August 26, 2024 10:30 33s main
main
August 26, 2024 10:30 33s
[ codegen ] get rid of artifacts introduced when optimizing IO Sphinx #4497: Pull request #3376 synchronize by stefan-hoeck
August 23, 2024 15:22 45s stefan-hoeck:cfold_lazy
stefan-hoeck:cfold_lazy
August 23, 2024 15:22 45s
[ codegen ] get rid of artifacts introduced when optimizing IO Sphinx #4496: Pull request #3376 synchronize by stefan-hoeck
August 23, 2024 15:03 31s stefan-hoeck:cfold_lazy
stefan-hoeck:cfold_lazy
August 23, 2024 15:03 31s
[ codegen ] get rid of artifacts introduced when optimizing IO Sphinx #4495: Pull request #3376 synchronize by stefan-hoeck
August 23, 2024 14:53 43s stefan-hoeck:cfold_lazy
stefan-hoeck:cfold_lazy
August 23, 2024 14:53 43s
[ codegen ] get rid of artifacts introduced when optimizing IO Sphinx #4494: Pull request #3376 synchronize by stefan-hoeck
August 23, 2024 10:21 50s stefan-hoeck:cfold_lazy
stefan-hoeck:cfold_lazy
August 23, 2024 10:21 50s
[ codegen ] get rid of artifacts introduced when optimizing IO Sphinx #4493: Pull request #3376 synchronize by stefan-hoeck
August 23, 2024 04:20 36s stefan-hoeck:cfold_lazy
stefan-hoeck:cfold_lazy
August 23, 2024 04:20 36s
[ codegen ] get rid of artifacts introduced when optimizing IO Sphinx #4492: Pull request #3376 opened by stefan-hoeck
August 23, 2024 03:19 35s stefan-hoeck:cfold_lazy
stefan-hoeck:cfold_lazy
August 23, 2024 03:19 35s
[ base ] Implement Foldable and Traversable for Identity Sphinx #4491: Commit 2bd88b7 pushed by mjustus
August 20, 2024 14:05 38s main
main
August 20, 2024 14:05 38s
[ base ] Implement Foldable and Traversable for Identity Sphinx #4490: Pull request #3374 opened by buzden
August 19, 2024 15:33 31s buzden:foldable-identity
buzden:foldable-identity
August 19, 2024 15:33 31s
[ refactor ] export signal to code conversions (#3373) Sphinx #4489: Commit 60ddcd0 pushed by gallais
August 18, 2024 09:45 29s main
main
August 18, 2024 09:45 29s
[ refactor ] export signal to code conversions Sphinx #4488: Pull request #3373 synchronize by stefan-hoeck
August 18, 2024 07:35 28s stefan-hoeck:sig_code
stefan-hoeck:sig_code
August 18, 2024 07:35 28s