Skip to content

Actions: opencompl/datapath-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
270 workflow runs
270 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
feat: BitVector to BitHeap conversion Lean Action CI #270: Pull request #26 synchronize by osmanyasar05
1m 28s bridge
bridge
1m 28s
no non-terminal simp Lean Action CI #269: Commit f06b636 pushed by osmanyasar05
1m 33s bridge
bridge
1m 33s
feat: BitVector to BitHeap conversion Lean Action CI #268: Pull request #26 synchronize by osmanyasar05
1m 41s bridge
bridge
1m 41s
examples Lean Action CI #267: Commit 2718542 pushed by osmanyasar05
2m 1s bridge
bridge
2m 1s
feat: BitVector to BitHeap conversion Lean Action CI #266: Pull request #26 synchronize by osmanyasar05
1m 26s bridge
bridge
1m 26s
compression proof Lean Action CI #265: Commit efc26dc pushed by osmanyasar05
1m 31s bridge
bridge
1m 31s
feat: BitVector to BitHeap conversion Lean Action CI #264: Pull request #26 synchronize by osmanyasar05
1m 47s bridge
bridge
1m 47s
mul proof Lean Action CI #263: Commit e5070f6 pushed by osmanyasar05
2m 1s bridge
bridge
2m 1s
feat: BitVector to BitHeap conversion Lean Action CI #262: Pull request #26 synchronize by osmanyasar05
2m 19s bridge
bridge
2m 19s
nit Lean Action CI #261: Commit a53de1f pushed by osmanyasar05
1m 47s bridge
bridge
1m 47s
feat: BitVector to BitHeap conversion Lean Action CI #260: Pull request #26 synchronize by osmanyasar05
1m 44s bridge
bridge
1m 44s
nit Lean Action CI #259: Commit c01a0d0 pushed by osmanyasar05
1m 41s bridge
bridge
1m 41s
feat: BitVector to BitHeap conversion Lean Action CI #258: Pull request #26 synchronize by osmanyasar05
1m 56s bridge
bridge
1m 56s
trunc proof Lean Action CI #257: Commit 89398a8 pushed by osmanyasar05
1m 49s bridge
bridge
1m 49s
feat: BitVector to BitHeap conversion Lean Action CI #256: Pull request #26 synchronize by osmanyasar05
2m 25s bridge
bridge
2m 25s
add proof Lean Action CI #255: Commit ad9d7d4 pushed by osmanyasar05
2m 15s bridge
bridge
2m 15s
feat: BitVector to BitHeap conversion Lean Action CI #254: Pull request #26 synchronize by osmanyasar05
1m 45s bridge
bridge
1m 45s
wip Lean Action CI #253: Commit 8eff281 pushed by osmanyasar05
2m 10s bridge
bridge
2m 10s
feat: BitVector to BitHeap conversion Lean Action CI #252: Pull request #26 synchronize by osmanyasar05
1m 32s bridge
bridge
1m 32s
wip Lean Action CI #251: Commit d1bc3db pushed by osmanyasar05
1m 33s bridge
bridge
1m 33s
feat: BitVector to BitHeap conversion Lean Action CI #250: Pull request #26 synchronize by osmanyasar05
2m 13s bridge
bridge
2m 13s
wip Lean Action CI #249: Commit 8346a4d pushed by osmanyasar05
1m 56s bridge
bridge
1m 56s
feat: BitVector to BitHeap conversion Lean Action CI #248: Pull request #26 synchronize by osmanyasar05
1m 32s bridge
bridge
1m 32s
Merge remote-tracking branch 'origin/main' into bridge Lean Action CI #247: Commit e922d99 pushed by osmanyasar05
1m 56s bridge
bridge
1m 56s
feat: BitVector to BitHeap conversion Lean Action CI #246: Pull request #26 opened by osmanyasar05
1m 35s bridge
bridge
1m 35s