Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] ScopedSnocList: WIP Sphinx #4555: Pull request #3368 synchronize by GulinSS
October 3, 2024 13:53 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 3, 2024 13:53 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4554: Pull request #3368 synchronize by GulinSS
October 3, 2024 08:22 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 3, 2024 08:22 Action required
add test file Sphinx #4553: Commit ea9433a pushed by andrevidela
October 2, 2024 21:55 27s autobind-application
autobind-application
October 2, 2024 21:55 27s
[ refactor ] ScopedSnocList: WIP Sphinx #4552: Pull request #3368 synchronize by GulinSS
October 2, 2024 15:32 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 2, 2024 15:32 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4551: Pull request #3368 synchronize by GulinSS
October 1, 2024 19:49 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 1, 2024 19:49 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4550: Pull request #3368 synchronize by GulinSS
October 1, 2024 18:55 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 1, 2024 18:55 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4549: Pull request #3368 synchronize by GulinSS
October 1, 2024 16:42 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 1, 2024 16:42 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4548: Pull request #3368 synchronize by GulinSS
October 1, 2024 16:41 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 1, 2024 16:41 Action required
[ refactor ] Add a nix overlay (#3394) Sphinx #4547: Commit 536c7bf pushed by mattpolzin
October 1, 2024 12:51 34s main
main
October 1, 2024 12:51 34s
[ refactor ] Add a nix overlay Sphinx #4546: Pull request #3394 synchronize by mitchmindtree
September 30, 2024 09:59 39s mitchmindtree:overlay
mitchmindtree:overlay
September 30, 2024 09:59 39s
[ refactor ] Add a nix overlay Sphinx #4544: Pull request #3394 opened by mitchmindtree
September 29, 2024 01:17 Action required mitchmindtree:overlay
mitchmindtree:overlay
September 29, 2024 01:17 Action required
[RefC] Object Immortalization and Pre-Generation of Constants Sphinx #4543: Pull request #3242 synchronize by seagull-kamome
September 28, 2024 16:32 28s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
September 28, 2024 16:32 28s
fix: help menu for refine command Sphinx #4542: Pull request #3393 synchronize by Jyang772
September 27, 2024 22:13 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 22:13 Action required
fix: help menu for refine command Sphinx #4541: Pull request #3393 synchronize by Jyang772
September 27, 2024 21:47 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 21:47 Action required
fix: help menu for refine command Sphinx #4540: Pull request #3393 opened by Jyang772
September 27, 2024 21:20 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 21:20 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4539: Pull request #3368 synchronize by GulinSS
September 27, 2024 10:29 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 27, 2024 10:29 Action required
Handle multiline comments in Package (ipkg) (#3386) Sphinx #4538: Commit 0e83d6c pushed by mattpolzin
September 24, 2024 15:26 32s main
main
September 24, 2024 15:26 32s
[ base ] Deprecate toList functions for sorted sets and maps Sphinx #4537: Pull request #3392 synchronize by buzden
September 23, 2024 16:37 29s buzden:tokvlist-for-maps
buzden:tokvlist-for-maps
September 23, 2024 16:37 29s
[ base ] Deprecate toList functions for sorted sets and maps Sphinx #4536: Pull request #3392 synchronize by buzden
September 23, 2024 15:56 32s buzden:tokvlist-for-maps
buzden:tokvlist-for-maps
September 23, 2024 15:56 32s
[ base ] Deprecate toList functions for sorted sets and maps Sphinx #4535: Pull request #3392 opened by buzden
September 23, 2024 15:55 28s buzden:tokvlist-for-maps
buzden:tokvlist-for-maps
September 23, 2024 15:55 28s
[ refactor ] ScopedSnocList: WIP Sphinx #4534: Pull request #3368 synchronize by GulinSS
September 23, 2024 09:21 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 23, 2024 09:21 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4533: Pull request #3368 synchronize by GulinSS
September 23, 2024 09:21 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 23, 2024 09:21 Action required
Handle multiline comments in Package (ipkg) Sphinx #4532: Pull request #3386 synchronize by stephen-smith
September 22, 2024 14:53 29s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 22, 2024 14:53 29s
[ doc ] Update gambit docs (#3388) Sphinx #4531: Commit f3dca12 pushed by mattpolzin
September 22, 2024 06:20 1m 50s main
main
September 22, 2024 06:20 1m 50s
[ refactor ] ScopedSnocList: WIP Sphinx #4530: Pull request #3368 synchronize by GulinSS
September 19, 2024 13:54 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 19, 2024 13:54 Action required