Skip to content

Actions: qed-solver/parser

Actions

Test All Rules

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
Merge pull request #12 from zengzirong/zzr Test All Rules #4: Commit f601430 pushed by joyemang33
3m 30s dsl
dsl
3m 30s
Add GitHub Actions workflow to verify rule provability on push/PR Test All Rules #3: Pull request #12 synchronize by zengzirong
3m 18s zengzirong:zzr
zengzirong:zzr
3m 18s
Add GitHub Actions workflow to verify rule provability on push/PR Test All Rules #2: Pull request #12 synchronize by zengzirong
2m 12s zengzirong:zzr
zengzirong:zzr
2m 12s