Skip to content

Actions: ProvableHQ/grammars

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #69 from ProvableHQ/check-leo-grammar check-leo-grammar #3: Commit ac7878c pushed by bendyarm
August 21, 2024 04:39 4m 17s master
master
August 21, 2024 04:39 4m 17s
[CI] check leo grammar for some consistency properties check-leo-grammar #2: Pull request #69 synchronize by bendyarm
August 21, 2024 04:19 4m 35s check-leo-grammar
check-leo-grammar
August 21, 2024 04:19 4m 35s
[CI] check leo grammar for some consistency properties check-leo-grammar #1: Pull request #69 opened by bendyarm
August 20, 2024 20:56 4m 21s check-leo-grammar
check-leo-grammar
August 20, 2024 20:56 4m 21s