Skip to content

Actions: leanprover/verso

Actions

Lint GitHub Actions workflows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
194 workflow runs
194 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: LSP server verso tests Lint GitHub Actions workflows #196: Pull request #699 synchronize by ejgallego
13s ejgallego:test_lsp
ejgallego:test_lsp
13s
test: LSP server verso tests Lint GitHub Actions workflows #195: Pull request #699 synchronize by ejgallego
10s ejgallego:test_lsp
ejgallego:test_lsp
10s
test: LSP server verso tests Lint GitHub Actions workflows #194: Pull request #699 synchronize by ejgallego
14s ejgallego:test_lsp
ejgallego:test_lsp
14s
chore: Run build and test suite jobs on MacOS and Windows Lint GitHub Actions workflows #193: Pull request #724 synchronize by ejgallego
16s ejgallego:ci-win
ejgallego:ci-win
16s
chore: Run build and test suite jobs on MacOS and Windows Lint GitHub Actions workflows #192: Pull request #724 synchronize by ejgallego
10s ejgallego:ci-win
ejgallego:ci-win
10s
chore: Run build and test suite jobs on MacOS and Windows Lint GitHub Actions workflows #191: Pull request #724 synchronize by ejgallego
10s ejgallego:ci-win
ejgallego:ci-win
10s
chore: Run build and test suite jobs on MacOS and Windows Lint GitHub Actions workflows #190: Pull request #724 synchronize by ejgallego
14s ejgallego:ci-win
ejgallego:ci-win
14s
chore: Run build and test suite jobs on MacOS and Windows Lint GitHub Actions workflows #189: Pull request #724 synchronize by ejgallego
12s ejgallego:ci-win
ejgallego:ci-win
12s
chore: Run build and test suite jobs on MacOS and Windows Lint GitHub Actions workflows #188: Pull request #724 synchronize by ejgallego
12s ejgallego:ci-win
ejgallego:ci-win
12s
chore: Run build and test suite jobs on MacOS and Windows Lint GitHub Actions workflows #187: Pull request #724 synchronize by ejgallego
12s ejgallego:ci-win
ejgallego:ci-win
12s
chore: Run build and test suite jobs on MacOS and Windows Lint GitHub Actions workflows #186: Pull request #724 opened by ejgallego
10s ejgallego:ci-win
ejgallego:ci-win
10s
test: LSP server verso tests Lint GitHub Actions workflows #185: Pull request #699 synchronize by ejgallego
15s ejgallego:test_lsp
ejgallego:test_lsp
15s
Lint GitHub Actions workflows Lint GitHub Actions workflows #184: Merge group checks requested
16s
16s
doc: Add changelog to users guide. Lint GitHub Actions workflows #183: Pull request #708 synchronize by ejgallego
13s ejgallego:changelog
ejgallego:changelog
13s
Lint GitHub Actions workflows Lint GitHub Actions workflows #182: Merge group checks requested
17s
17s
fix: delete obsolete READMEs Lint GitHub Actions workflows #181: Pull request #723 opened by david-christiansen
14s old-readme-delete
old-readme-delete
14s
Lint GitHub Actions workflows Lint GitHub Actions workflows #180: Merge group checks requested
12s
12s
doc: add README to test-projects directory Lint GitHub Actions workflows #179: Pull request #722 opened by david-christiansen
12s test-proj-readme
test-proj-readme
12s
Lint GitHub Actions workflows Lint GitHub Actions workflows #178: Merge group checks requested
12s
12s
fix: also move tutorials test file Lint GitHub Actions workflows #177: Pull request #721 opened by david-christiansen
16s examples-fix
examples-fix
16s
doc: Add changelog to users guide. Lint GitHub Actions workflows #176: Pull request #708 synchronize by ejgallego
13s ejgallego:changelog
ejgallego:changelog
13s
doc: Add changelog to users guide. Lint GitHub Actions workflows #175: Pull request #708 synchronize by ejgallego
13s ejgallego:changelog
ejgallego:changelog
13s
Lint GitHub Actions workflows Lint GitHub Actions workflows #174: Merge group checks requested
27s
27s
feat: soft breaking in PDF identifiers Lint GitHub Actions workflows #173: Pull request #720 opened by david-christiansen
13s manual-pdf-linebreaks-code
manual-pdf-linebreaks-code
13s
fix: Don't include syntax information in elaboration of math elements Lint GitHub Actions workflows #172: Pull request #707 synchronize by ejgallego
15s ejgallego:remove_info_verso_math
ejgallego:remove_info_verso_math
15s