Skip to content

Actions: qed-solver/parser

Actions

Test All Rules

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add GitHub Actions workflow to verify rule provability on push/PR Test All Rules #1: Pull request #12 opened by zengzirong
2m 27s zengzirong:zzr
zengzirong:zzr
2m 27s