Skip to content

Actions: FinParker/TAPL-rocq

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
3 workflow runs
3 workflow runs

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
chore: remove tracked build artifacts (html) from plf directory Build and Deploy Documentation #3: Commit 37f666f pushed by FinParker
5m 8s main
main
5m 8s
ci: switch to ocaml/setup-ocaml for proper rocq support Build and Deploy Documentation #2: Commit 7df664b pushed by FinParker
7m 56s main
main
7m 56s
(docs) test CI for docs display Build and Deploy Documentation #1: Commit 1e10f7c pushed by FinParker
2m 32s main
main
2m 32s