Skip to content

Actions: ncfavier/agda-stuff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 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
FPClimate: yeet web #146: Commit 0566953 pushed by ncfavier
2m 15s main
main
2m 15s
update description web #145: Commit c2c4959 pushed by ncfavier
2m 30s main
main
2m 30s
fix link web #144: Commit 9ededc8 pushed by ncfavier
2m 15s main
main
2m 15s
FPClimate: DICE web #143: Commit 454473a pushed by ncfavier
2m 14s main
main
2m 14s
FPClimate: DICE web #142: Commit f5b640c pushed by ncfavier
2m 10s main
main
2m 10s
FPClimate: DICE web #141: Commit fefc077 pushed by ncfavier
2m 11s main
main
2m 11s
FPClimate: add examples web #140: Commit 72e9fa3 pushed by ncfavier
2m 12s main
main
2m 12s
FPClimate: add examples web #139: Commit e64445c pushed by ncfavier
1m 59s main
main
1m 59s
bump web #138: Commit e4be29a pushed by ncfavier
2m 11s main
main
2m 11s
style: reduce KaTeX font size web #137: Commit 77532f2 pushed by ncfavier
2m 39s main
main
2m 39s
style: fix up anchors web #136: Commit 7c37270 pushed by ncfavier
2m 22s main
main
2m 22s
wording web #135: Commit a7e4854 pushed by ncfavier
2m 17s main
main
2m 17s
wording web #134: Commit 1e5c9a2 pushed by ncfavier
2m 22s main
main
2m 22s
style: set Vollkorn figures to tabular lining web #133: Commit e7bc19f pushed by ncfavier
2m 22s main
main
2m 22s
style: light theme web #132: Commit 1bf879c pushed by ncfavier
2m 18s main
main
2m 18s
style: switch to Vollkorn web #131: Commit a98c8a1 pushed by ncfavier
2m 20s main
main
2m 20s
style: switch to Vollkorn web #130: Commit 90ef04d pushed by ncfavier
2m 26s main
main
2m 26s
style: switch to Vollkorn web #129: Commit f8e4d32 pushed by ncfavier
2m 19s main
main
2m 19s
FPClimate: init web #128: Commit 6d29d81 pushed by ncfavier
2m 19s main
main
2m 19s
FPClimate: init web #127: Commit b79d3ec pushed by ncfavier
3m 2s main
main
3m 2s
SetsCover: explain a proof web #126: Commit 3657bb3 pushed by ncfavier
2m 59s main
main
2m 59s
StrongTotalOrder: delete web #125: Commit 9476792 pushed by ncfavier
2m 15s main
main
2m 15s
ci: bump actions web #124: Commit e3095d2 pushed by ncfavier
2m 24s main
main
2m 24s
StrongTotalOrder: init web #123: Commit 227e957 pushed by ncfavier
2m 32s main
main
2m 32s
ci: disable lychee for now web #122: Commit bba0b06 pushed by ncfavier
2m 45s main
main
2m 45s