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

multbinders Sphinx #279: Commit 45e3bc5 pushed by andrevidela
December 18, 2024 04:01 35s parser-refactor
parser-refactor
December 18, 2024 04:01 35s
give basic binder to interfaces Sphinx #278: Commit 0cc16ba pushed by andrevidela
December 18, 2024 03:01 29s parser-refactor
parser-refactor
December 18, 2024 03:01 29s
use binder in record Sphinx #277: Commit ef72cf7 pushed by andrevidela
December 18, 2024 02:16 1m 51s parser-refactor
parser-refactor
December 18, 2024 02:16 1m 51s
list1 for parameter arguments Sphinx #276: Commit d98679f pushed by andrevidela
December 17, 2024 22:17 43s parser-refactor
parser-refactor
December 17, 2024 22:17 43s
Add binder to parameter blocks Sphinx #275: Commit 3f24fa5 pushed by andrevidela
December 17, 2024 21:59 1m 18s parser-refactor
parser-refactor
December 17, 2024 21:59 1m 18s
deprecate old parameter block syntax Sphinx #274: Commit 3438de7 pushed by andrevidela
December 17, 2024 19:20 1m 36s parser-refactor
parser-refactor
December 17, 2024 19:20 1m 36s
create binder type Sphinx #273: Commit 1d80916 pushed by andrevidela
December 17, 2024 19:02 41s parser-refactor
parser-refactor
December 17, 2024 19:02 41s
add box drawing characters Sphinx #272: Commit 74257f9 pushed by andrevidela
December 17, 2024 13:59 37s fancy-symbols
fancy-symbols
December 17, 2024 13:59 37s
move telescopes Sphinx #271: Commit 67d35fe pushed by andrevidela
December 16, 2024 20:22 31s fix-pi-locations
fix-pi-locations
December 16, 2024 20:22 31s
update surface syntax for binders Sphinx #270: Commit da9f6f5 pushed by andrevidela
December 13, 2024 17:32 37s fix-pi-locations
fix-pi-locations
December 13, 2024 17:32 37s
Add Ord,Eq instance to WithFC Sphinx #269: Commit d2ea30b pushed by andrevidela
December 1, 2024 20:59 33s with-fc-elab
with-fc-elab
December 1, 2024 20:59 33s
add Eq instance to WithFC Sphinx #268: Commit 60d9438 pushed by andrevidela
December 1, 2024 20:52 41s with-fc-elab
with-fc-elab
December 1, 2024 20:52 41s
update base test Sphinx #267: Commit ace3f3c pushed by andrevidela
December 1, 2024 20:50 26s with-fc-elab
with-fc-elab
December 1, 2024 20:50 26s
update base test Sphinx #266: Commit 48d1eff pushed by andrevidela
November 25, 2024 01:48 26s with-fc-elab
with-fc-elab
November 25, 2024 01:48 26s
rename val to value Sphinx #265: Commit a49d771 pushed by andrevidela
November 24, 2024 20:44 31s with-fc-elab
with-fc-elab
November 24, 2024 20:44 31s
update changelog Sphinx #264: Commit 471e473 pushed by andrevidela
November 22, 2024 23:05 30s with-fc-elab
with-fc-elab
November 22, 2024 23:05 30s
add box drawing characters Sphinx #263: Commit 6ea28cc pushed by andrevidela
November 22, 2024 22:55 35s fancy-symbols
fancy-symbols
November 22, 2024 22:55 35s
implement IClaimData reflection Sphinx #262: Commit 121e494 pushed by andrevidela
November 22, 2024 16:40 28s with-fc-elab
with-fc-elab
November 22, 2024 16:40 28s
add pack. for db checks Sphinx #261: Commit 6364532 pushed by andrevidela
November 18, 2024 16:01 31s main
main
November 18, 2024 16:01 31s
Update test-collection.yaml Sphinx #260: Commit e3b674f pushed by andrevidela
November 18, 2024 15:22 34s main
main
November 18, 2024 15:22 34s
Merge pull request #2 from andrevidela/test-collection Sphinx #259: Commit aae9f91 pushed by andrevidela
November 18, 2024 15:14 27s main
main
November 18, 2024 15:14 27s
Create test-collection.yaml Sphinx #258: Pull request #2 opened by andrevidela
November 18, 2024 15:14 46s test-collection
test-collection
November 18, 2024 15:14 46s
Create test-collection.yaml Sphinx #257: Commit 4003b1f pushed by andrevidela
November 18, 2024 13:34 28s test-collection
test-collection
November 18, 2024 13:34 28s
WithFC, a datastructure to keep track of locations (#3406) Sphinx #256: Commit fc3d2a0 pushed by andrevidela
November 18, 2024 13:30 34s test-collection
test-collection
November 18, 2024 13:30 34s
WithFC, a datastructure to keep track of locations (#3406) Sphinx #255: Commit fc3d2a0 pushed by andrevidela
November 18, 2024 13:30 33s main
main
November 18, 2024 13:30 33s