Skip to content

Actions: ncfavier/agda-stuff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
144 workflow runs
144 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: disable lychee for now web #122: Commit bba0b06 pushed by ncfavier
2m 45s main
main
2m 45s
EasyParametricity: add (A : U) → A → A example web #121: Commit ecab2a9 pushed by ncfavier
2m 44s main
main
2m 44s
EasyParametricity: add (A : U) → A → A example Check links #76: Commit ecab2a9 pushed by ncfavier
12s main
main
12s
EasyParametricity: add (A : U) → A → A example Check links #75: Commit d1d78fd pushed by ncfavier
11s main
main
11s
EasyParametricity: add (A : U) → A → A example web #120: Commit d1d78fd pushed by ncfavier
2m 32s main
main
2m 32s
EasyParametricity: add (A : U) → A → A example web #119: Commit e73018e pushed by ncfavier
2m 42s main
main
2m 42s
EasyParametricity: add (A : U) → A → A example Check links #74: Commit e73018e pushed by ncfavier
12s main
main
12s
EasyParametricity: add (A : U) → A → A example web #118: Commit 775c19a pushed by ncfavier
2m 33s main
main
2m 33s
EasyParametricity: add (A : U) → A → A example Check links #73: Commit 775c19a pushed by ncfavier
11s main
main
11s
EasyParametricity: clean up intro Check links #72: Commit 74b498f pushed by ncfavier
10s main
main
10s
EasyParametricity: clean up intro web #117: Commit 74b498f pushed by ncfavier
2m 43s main
main
2m 43s
Check links Check links #71: Scheduled
9s main
main
9s
Check links Check links #70: Scheduled
13s main
main
13s
scrollbar-color web #116: Commit c3e8cdc pushed by ncfavier
2m 56s main
main
2m 56s
scrollbar-color Check links #69: Commit c3e8cdc pushed by ncfavier
12s main
main
12s
Check links Check links #68: Scheduled
12s main
main
12s
update name web #115: Commit 7dde2a8 pushed by ncfavier
3m 24s main
main
3m 24s
update name Check links #67: Commit 7dde2a8 pushed by ncfavier
13s main
main
13s
ErasureOpen: wording web #114: Commit 5d3d5fc pushed by ncfavier
1m 24s main
main
1m 24s
ErasureOpen: wording Check links #66: Commit 5d3d5fc pushed by ncfavier
13s main
main
13s
lychee: specify base URL web #113: Commit 07d90f9 pushed by ncfavier
2m 34s main
main
2m 34s
lychee: specify base URL Check links #65: Commit 07d90f9 pushed by ncfavier
11s main
main
11s
lychee: specify base URL Check links #64: Commit 11c5d8e pushed by ncfavier
10s main
main
10s
lychee: specify base URL web #112: Commit 11c5d8e pushed by ncfavier
2m 32s main
main
2m 32s
Check links Check links #63: Scheduled
9s main
main
9s