Skip to content

Actions: leanprover/reference-manual

Actions

.github/workflows/vale.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix version .github/workflows/vale.yml #2: Commit 3382873 pushed by david-christiansen
December 9, 2024 14:50 Failure ci-split
ci-split
December 9, 2024 14:50 Failure
chore: ci: factor vale check out into separate workflow .github/workflows/vale.yml #1: Commit e890f3a pushed by david-christiansen
December 9, 2024 14:49 Failure ci-split
ci-split
December 9, 2024 14:49 Failure