Skip to content

Actions: dobjlabs/digital-objects-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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
prove equivalence between TxFinalized and TxFinalizedSimple Lean Action CI #13: Commit 95f974c pushed by ed255
1m 49s main
main
1m 49s
use guard validators in txlib translation Lean Action CI #12: Commit 34f2eec pushed by ed255
1m 58s main
main
1m 58s
complete first pass of TxLib Lean translation Lean Action CI #11: Commit e86b7e1 pushed by ed255
4m 32s main
main
4m 32s
prove equivalence between InputsGrounded and InputsGroundedSimple Lean Action CI #10: Commit 251ed5e pushed by ed255
1m 31s main
main
1m 31s
copy TxLib podlang predicates Lean Action CI #9: Commit c651716 pushed by ed255
2m 8s main
main
2m 8s
reorganize Lean Action CI #8: Commit aefb379 pushed by ed255
1m 38s main
main
1m 38s
complete initial spec Lean Action CI #7: Commit ca86400 pushed by ed255
7m 24s main
main
7m 24s
use history approach Lean Action CI #6: Commit 6f391e4 pushed by ed255
4m 28s main
main
4m 28s
simplify Lean Action CI #5: Commit 63e13b9 pushed by ed255
1m 32s main
main
1m 32s
wip Lean Action CI #4: Commit 6eb5355 pushed by ed255
1m 38s main
main
1m 38s
wip Lean Action CI #3: Commit 86c67d7 pushed by ed255
1m 4s main
main
1m 4s
wip Lean Action CI #2: Commit 418cfe6 pushed by ed255
1m 34s main
main
1m 34s
first commit Lean Action CI #1: Commit 70be707 pushed by ed255
4m 46s main
main
4m 46s