Skip to content

Actions: opencompl/datapath-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow runs
206 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: Completing partials/sorries Lean Action CI #206: Pull request #21 synchronize by osmanyasar05
32s complete_sorries
complete_sorries
32s
wip Lean Action CI #205: Commit 305a16c pushed by osmanyasar05
35s complete_sorries
complete_sorries
35s
feat: Completing partials/sorries Lean Action CI #204: Pull request #21 synchronize by osmanyasar05
43s complete_sorries
complete_sorries
43s
add bit proof Lean Action CI #203: Commit 9455323 pushed by osmanyasar05
30s complete_sorries
complete_sorries
30s
feat: Completing partials/sorries Lean Action CI #202: Pull request #21 synchronize by osmanyasar05
29s complete_sorries
complete_sorries
29s
remove eval proofs Lean Action CI #201: Commit a245f4b pushed by osmanyasar05
30s complete_sorries
complete_sorries
30s
feat: Completing partials/sorries Lean Action CI #200: Pull request #21 synchronize by osmanyasar05
43s complete_sorries
complete_sorries
43s
remove eval proofs Lean Action CI #199: Commit f6cdc6f pushed by osmanyasar05
30s complete_sorries
complete_sorries
30s
feat: Completing partials/sorries Lean Action CI #198: Pull request #21 synchronize by osmanyasar05
34s complete_sorries
complete_sorries
34s
Update DatapathVerification/BitHeap/BitHeap.lean Lean Action CI #197: Commit aa9dc6e pushed by osmanyasar05
47s complete_sorries
complete_sorries
47s
feat: Dadda tree implementation (#20) Lean Action CI #196: Commit 8f7142c pushed by osmanyasar05
29s main
main
29s
feat: Completing partials/sorries Lean Action CI #195: Pull request #21 synchronize by osmanyasar05
29s complete_sorries
complete_sorries
29s
chore Lean Action CI #194: Commit af88ade pushed by osmanyasar05
30s complete_sorries
complete_sorries
30s
feat: Completing partials/sorries Lean Action CI #193: Pull request #21 opened by osmanyasar05
33s complete_sorries
complete_sorries
33s
width-aware addBit Lean Action CI #192: Commit 0e1ef63 pushed by osmanyasar05
46s complete_sorries
complete_sorries
46s
feat: Dadda tree implementation Lean Action CI #191: Pull request #20 synchronize by osmanyasar05
1m 48s dadda
dadda
1m 48s
round->stage Lean Action CI #190: Commit 4bc568a pushed by osmanyasar05
2m 3s dadda
dadda
2m 3s
feat: Dadda tree implementation Lean Action CI #189: Pull request #20 synchronize by osmanyasar05
2m 30s dadda
dadda
2m 30s
compression helpers Lean Action CI #188: Commit 5823eef pushed by osmanyasar05
2m 18s dadda
dadda
2m 18s
feat: Dadda tree implementation Lean Action CI #187: Pull request #20 opened by osmanyasar05
2m 30s dadda
dadda
2m 30s
comments Lean Action CI #186: Commit f2ecc92 pushed by osmanyasar05
1m 48s dadda
dadda
1m 48s
add comments Lean Action CI #185: Commit 51a57c2 pushed by osmanyasar05
2m 50s dadda
dadda
2m 50s
dadda tree implementation Lean Action CI #184: Commit 6befbb9 pushed by osmanyasar05
2m 29s dadda
dadda
2m 29s
comparison Lean Action CI #183: Commit 1b806e0 pushed by osmanyasar05
2m 20s comp_files
comp_files
2m 20s
feat: modify Wallace tree (#19) Lean Action CI #182: Commit 63722d0 pushed by osmanyasar05
1m 57s main
main
1m 57s