Skip to content

Actions: GOATNetwork/bitvm2-node

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,329 workflow runs
1,329 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
Fix/flounder audit circuit Cargo Build & Test #1032: Pull request #416 synchronize by blake-pro
1h 2m 58s blake-pro:fix/flounder-audit-circuit
blake-pro:fix/flounder-audit-circuit
1h 2m 58s
Fix/flounder audit circuit Cargo Build & Test #1031: Pull request #416 synchronize by blake-pro
46m 56s blake-pro:fix/flounder-audit-circuit
blake-pro:fix/flounder-audit-circuit
46m 56s
feat: implement bitvm3 Cargo Build & Test #1030: Pull request #420 opened by eigmax
1h 5m 43s gc-v2
gc-v2
1h 5m 43s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1029: Pull request #417 synchronize by eigmax
1h 5m 16s audit/round-1
audit/round-1
1h 5m 16s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1028: Pull request #417 synchronize by eigmax
41m 5s audit/round-1
audit/round-1
41m 5s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1027: Pull request #417 synchronize by eigmax
30m 49s audit/round-1
audit/round-1
30m 49s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1026: Pull request #417 synchronize by eigmax
22m 31s audit/round-1
audit/round-1
22m 31s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1025: Pull request #417 synchronize by eigmax
6m 55s audit/round-1
audit/round-1
6m 55s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1024: Pull request #417 synchronize by eigmax
26s audit/round-1
audit/round-1
26s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1023: Pull request #417 synchronize by eigmax
28s audit/round-1
audit/round-1
28s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1022: Pull request #417 synchronize by eigmax
34s audit/round-1
audit/round-1
34s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1021: Pull request #417 synchronize by eigmax
32s audit/round-1
audit/round-1
32s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1020: Pull request #417 synchronize by eigmax
29s audit/round-1
audit/round-1
29s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1019: Pull request #417 synchronize by eigmax
32s audit/round-1
audit/round-1
32s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1018: Pull request #417 synchronize by eigmax
29s audit/round-1
audit/round-1
29s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1017: Pull request #417 synchronize by eigmax
31s audit/round-1
audit/round-1
31s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1016: Pull request #417 synchronize by eigmax
25s audit/round-1
audit/round-1
25s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1015: Pull request #417 synchronize by eigmax
1h 4m 9s audit/round-1
audit/round-1
1h 4m 9s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1014: Pull request #417 synchronize by eigmax
58m 40s audit/round-1
audit/round-1
58m 40s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1013: Pull request #417 synchronize by eigmax
30m 28s audit/round-1
audit/round-1
30m 28s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1012: Pull request #417 synchronize by eigmax
7m 12s audit/round-1
audit/round-1
7m 12s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1011: Pull request #417 synchronize by eigmax
1h 0m 27s audit/round-1
audit/round-1
1h 0m 27s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1010: Pull request #417 synchronize by eigmax
5m 14s audit/round-1
audit/round-1
5m 14s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1009: Pull request #417 synchronize by eigmax
14m 6s audit/round-1
audit/round-1
14m 6s
audit: use tla+ to formally verify transaction graphs Cargo Build & Test #1008: Pull request #417 synchronize by eigmax
34m 26s audit/round-1
audit/round-1
34m 26s