Skip to content

Actions: FinParker/TAPL-rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #2: by github-pages bot
25s gh-pages
gh-pages
25s
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
pages build and deployment pages-build-deployment #1: by FinParker
24s gh-pages
gh-pages
24s
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