Skip to content

Actions: jiangsy/worklist_intersection_union

Actions

Compile proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Compile proofs Compile proofs #9: Manually run by jiangsy
April 22, 2024 03:40 34m 59s master
master
April 22, 2024 03:40 34m 59s
Compile proofs Compile proofs #8: Manually run by jiangsy
April 21, 2024 15:26 42m 35s master
master
April 21, 2024 15:26 42m 35s