Skip to content

Actions: andrevidela/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deprecate old parameter-block syntax Sphinx #304: Commit b01df44 pushed by andrevidela
January 15, 2025 13:59 32s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 13:59 32s
deprecate old parameter-block syntax Sphinx #303: Commit fbfaf4e pushed by andrevidela
January 15, 2025 12:21 33s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:21 33s
deprecate old parameter-block syntax Sphinx #302: Commit 95370c1 pushed by andrevidela
January 15, 2025 12:11 31s deprecate-old-parameters
deprecate-old-parameters
January 15, 2025 12:11 31s
Make telescope constructors & functions binding operators Sphinx #301: Commit f9fa62b pushed by andrevidela
January 15, 2025 01:32 1m 46s telescope-binding-operators
telescope-binding-operators
January 15, 2025 01:32 1m 46s
update doc comments Sphinx #300: Commit e8f8aa5 pushed by andrevidela
January 7, 2025 18:13 31s parser-refactor
parser-refactor
January 7, 2025 18:13 31s
only FC changes (#3460) Sphinx #299: Commit 6cd4aa5 pushed by andrevidela
January 7, 2025 16:55 36s parser-refactor-cherry
parser-refactor-cherry
January 7, 2025 16:55 36s
add box drawing characters Sphinx #298: Commit 3159745 pushed by andrevidela
December 29, 2024 17:41 35s fancy-symbols
fancy-symbols
December 29, 2024 17:41 35s
Add between parser combinator (#3414) Sphinx #297: Commit 8b2b2da pushed by andrevidela
December 24, 2024 13:07 1m 19s ci-test-collection
ci-test-collection
December 24, 2024 13:07 1m 19s
wip Sphinx #296: Commit c76ec19 pushed by andrevidela
December 24, 2024 13:06 32s let-in-records
let-in-records
December 24, 2024 13:06 32s
update doc comments Sphinx #295: Commit 7ce5749 pushed by andrevidela
December 21, 2024 01:48 31s parser-refactor
parser-refactor
December 21, 2024 01:48 31s
move fc away from PDecl Sphinx #294: Commit 195c6b6 pushed by andrevidela
December 21, 2024 01:39 34s parser-refactor
parser-refactor
December 21, 2024 01:39 34s
move fc from PDecl Sphinx #293: Commit badd3fb pushed by andrevidela
December 20, 2024 23:30 1m 52s parser-refactor
parser-refactor
December 20, 2024 23:30 1m 52s
Carry names across semantic decorations Sphinx #292: Commit 2171166 pushed by andrevidela
December 20, 2024 15:32 31s parser-refactor
parser-refactor
December 20, 2024 15:32 31s
Carry names across semantic decorations Sphinx #291: Commit 567a84f pushed by andrevidela
December 20, 2024 06:54 1m 17s parser-refactor
parser-refactor
December 20, 2024 06:54 1m 17s
split up ideMode tests Sphinx #290: Commit f014cba pushed by andrevidela
December 20, 2024 05:34 27s parser-refactor
parser-refactor
December 20, 2024 05:34 27s
add test for #3417 Sphinx #289: Commit cf1295d pushed by andrevidela
December 20, 2024 03:34 37s parser-refactor
parser-refactor
December 20, 2024 03:34 37s
plug remaining holes Sphinx #288: Commit 2d7d0c8 pushed by andrevidela
December 20, 2024 03:06 34s parser-refactor
parser-refactor
December 20, 2024 03:06 34s
plug remaining holes Sphinx #287: Commit b9f0cef pushed by andrevidela
December 20, 2024 03:04 37s parser-refactor
parser-refactor
December 20, 2024 03:04 37s
plug remaining holes Sphinx #286: Commit bc0c8be pushed by andrevidela
December 20, 2024 02:54 36s parser-refactor
parser-refactor
December 20, 2024 02:54 36s
plug remaining holes Sphinx #285: Commit 41aedfc pushed by andrevidela
December 20, 2024 02:37 33s parser-refactor
parser-refactor
December 20, 2024 02:37 33s
fix desugaring forall Sphinx #284: Commit 46afd2f pushed by andrevidela
December 19, 2024 03:05 35s parser-refactor
parser-refactor
December 19, 2024 03:05 35s
Add WithFC to sections Sphinx #283: Commit 2fee574 pushed by andrevidela
December 19, 2024 02:49 38s parser-refactor
parser-refactor
December 19, 2024 02:49 38s
update positions for binding operators Sphinx #282: Commit 4988fd9 pushed by andrevidela
December 19, 2024 02:31 29s parser-refactor
parser-refactor
December 19, 2024 02:31 29s
add Forall Sphinx #281: Commit cb72914 pushed by andrevidela
December 18, 2024 14:47 33s parser-refactor
parser-refactor
December 18, 2024 14:47 33s
add NewPi using exisitng binding structure Sphinx #280: Commit 0ba037a pushed by andrevidela
December 18, 2024 05:51 29s parser-refactor
parser-refactor
December 18, 2024 05:51 29s