Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
949 workflow runs
949 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] ScopedSnocList: WIP Sphinx #4908: Pull request #3368 synchronize by GulinSS
February 26, 2025 18:33 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 26, 2025 18:33 Action required
[ 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
[ cleanup ] Remove redundant Ref arguments Sphinx #4906: Pull request #3496 synchronize by spcfox
February 24, 2025 17:19 34s spcfox:ref-cleanup
spcfox:ref-cleanup
February 24, 2025 17:19 34s
[ refactor ] ScopedSnocList: WIP Sphinx #4905: Pull request #3368 synchronize by GulinSS
February 24, 2025 07:02 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 24, 2025 07:02 Action required
[ node ] Add missing FFI functions for node Sphinx #4904: Pull request #3500 synchronize by dunhamsteve
February 24, 2025 00:16 36s dunhamsteve:node-ffi
dunhamsteve:node-ffi
February 24, 2025 00:16 36s
[ node ] Add missing FFI functions for node Sphinx #4903: Pull request #3500 synchronize by dunhamsteve
February 23, 2025 18:35 31s dunhamsteve:node-ffi
dunhamsteve:node-ffi
February 23, 2025 18:35 31s
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
[ node ] Add missing FFI functions for node Sphinx #4901: Pull request #3500 opened by dunhamsteve
February 23, 2025 04:41 32s dunhamsteve:node-ffi
dunhamsteve:node-ffi
February 23, 2025 04:41 32s
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
[ refactor ] ScopedSnocList: WIP Sphinx #4898: Pull request #3368 synchronize by GulinSS
February 22, 2025 06:59 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 22, 2025 06:59 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4897: Pull request #3368 synchronize by GulinSS
February 22, 2025 06:58 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 22, 2025 06:58 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4896: Pull request #3368 synchronize by GulinSS
February 22, 2025 06:55 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 22, 2025 06:55 Action required
[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
[ refactor ] ScopedSnocList: WIP Sphinx #4894: Pull request #3368 synchronize by GulinSS
February 22, 2025 06:51 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 22, 2025 06:51 Action required
[new] Support literate Djot files Sphinx #4893: Pull request #3499 synchronize by nmccarty
February 21, 2025 11:15 32s nmccarty:djot-support
nmccarty:djot-support
February 21, 2025 11:15 32s
[ refactor ] ScopedSnocList: WIP Sphinx #4892: Pull request #3368 synchronize by GulinSS
February 21, 2025 11:04 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 21, 2025 11:04 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4891: Pull request #3368 synchronize by GulinSS
February 21, 2025 11:03 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 21, 2025 11:03 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4890: Pull request #3368 synchronize by GulinSS
February 21, 2025 11:00 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 21, 2025 11:00 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4889: Pull request #3368 synchronize by GulinSS
February 21, 2025 09:22 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 21, 2025 09:22 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4888: Pull request #3368 synchronize by GulinSS
February 21, 2025 07:31 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 21, 2025 07:31 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4887: Pull request #3368 synchronize by GulinSS
February 21, 2025 07:02 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 21, 2025 07:02 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4886: Pull request #3368 synchronize by GulinSS
February 21, 2025 06:54 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 21, 2025 06:54 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4885: Pull request #3368 synchronize by GulinSS
February 21, 2025 06:19 -1s GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 21, 2025 06:19 -1s
[new] Support literate Djot files Sphinx #4884: Pull request #3499 synchronize by nmccarty
February 21, 2025 03:24 33s nmccarty:djot-support
nmccarty:djot-support
February 21, 2025 03:24 33s