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

[ fix ] Data and Type Constructor tags for :di (#3395) Sphinx #4564: Commit f840d1b pushed by gallais
October 5, 2024 07:37 34s main
main
October 5, 2024 07:37 34s
[ fix ] Data and Type Constructor tags for :di Sphinx #4563: Pull request #3395 synchronize by stefan-hoeck
October 5, 2024 05:07 31s stefan-hoeck:data_vs_type
stefan-hoeck:data_vs_type
October 5, 2024 05:07 31s
[ fix ] Address some proofs of void via impossible from issues #2250 and #3276 Sphinx #4562: Pull request #3396 opened by dunhamsteve
October 5, 2024 05:04 35s dunhamsteve:issue-3276
dunhamsteve:issue-3276
October 5, 2024 05:04 35s
[ fix ] Data and Type Constructor tags for :di Sphinx #4561: Pull request #3395 synchronize by stefan-hoeck
October 5, 2024 04:47 33s stefan-hoeck:data_vs_type
stefan-hoeck:data_vs_type
October 5, 2024 04:47 33s
[ fix ] Data and Type Constructor tags for :di Sphinx #4560: Pull request #3395 synchronize by stefan-hoeck
October 5, 2024 04:36 31s stefan-hoeck:data_vs_type
stefan-hoeck:data_vs_type
October 5, 2024 04:36 31s
[ fix ] Data and Type Constructor tags for :di Sphinx #4559: Pull request #3395 opened by stefan-hoeck
October 5, 2024 04:34 31s stefan-hoeck:data_vs_type
stefan-hoeck:data_vs_type
October 5, 2024 04:34 31s
[ refactor ] ScopedSnocList: WIP Sphinx #4558: Pull request #3368 synchronize by GulinSS
October 4, 2024 12:00 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 4, 2024 12:00 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4557: Pull request #3368 synchronize by GulinSS
October 4, 2024 11:57 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 4, 2024 11:57 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4556: Pull request #3368 synchronize by GulinSS
October 4, 2024 09:49 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 4, 2024 09:49 Action required
[ 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