Skip to content

Actions: trilitech/tzel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
509 workflow runs
509 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
Proof Roundtrips Proof Roundtrips #71: Scheduled
3m 37s main
main
3m 37s
chore(wallet): default proving service URL to https://proving.tzel.te… site (landing page + whitepaper + wallet) #47: Commit e9db136 pushed by saroupille
1m 42s site-v2026.06.19
site-v2026.06.19
1m 42s
perf(reprover): L2/L3 prove-time wins — skip redundant validate + LTO… site (landing page + whitepaper + wallet) #46: Commit 5274d93 pushed by saroupille
1m 45s site-v2026.06.19
site-v2026.06.19
1m 45s
chore(wallet): default proving service URL to https://proving.tzel.te… Kernel — no insecure bypass #15: Commit e9db136 pushed by saroupille
46s main
main
46s
chore(wallet): default proving service URL to https://proving.tzel.te… site (landing page + whitepaper + wallet) #45: Commit e9db136 pushed by saroupille
1m 44s main
main
1m 44s
chore(wallet): default proving service URL to https://proving.tzel.te… Unit Tests #152: Commit e9db136 pushed by saroupille
7m 46s main
main
7m 46s
Proof Roundtrips Proof Roundtrips #70: Scheduled
3m 28s main
main
3m 28s
Proof Roundtrips Proof Roundtrips #69: Scheduled
3m 30s main
main
3m 30s
Proof Roundtrips Proof Roundtrips #68: Scheduled
3m 22s main
main
3m 22s
Proof Roundtrips Proof Roundtrips #67: Scheduled
3m 18s main
main
3m 18s
chore(wallet): default proving service URL to https://proving.tzel.tezos.com site (landing page + whitepaper + wallet) #44: Pull request #37 opened by devon-n
1m 41s devon-n:chore/wallet-install-https-proving
devon-n:chore/wallet-install-https-proving
1m 41s
chore(wallet): default proving service URL to https://proving.tzel.tezos.com Unit Tests #151: Pull request #37 opened by devon-n
7m 14s devon-n:chore/wallet-install-https-proving
devon-n:chore/wallet-install-https-proving
7m 14s
chore(wallet): default proving service URL to https://proving.tzel.tezos.com Kernel — no insecure bypass #14: Pull request #37 opened by devon-n
47s devon-n:chore/wallet-install-https-proving
devon-n:chore/wallet-install-https-proving
47s
Proof Roundtrips Proof Roundtrips #66: Scheduled
3m 24s main
main
3m 24s
Proof Roundtrips Proof Roundtrips #65: Scheduled
3m 29s main
main
3m 29s
Proof Roundtrips Proof Roundtrips #64: Scheduled
3m 19s main
main
3m 19s
Proof Roundtrips Proof Roundtrips #63: Scheduled
3m 25s main
main
3m 25s
Proof Roundtrips Proof Roundtrips #62: Scheduled
3m 22s main
main
3m 22s
Proof Roundtrips Proof Roundtrips #61: Scheduled
3m 25s main
main
3m 25s
Proof Roundtrips Proof Roundtrips #60: Scheduled
3m 34s main
main
3m 34s
Multiasset: FA2 token bridging support (REQUIRES THOROUGH AUDIT BEFORE MERGE) coq model #143: Pull request #36 synchronize by murbard
5m 44s multiasset
multiasset
5m 44s
Multiasset: FA2 token bridging support (REQUIRES THOROUGH AUDIT BEFORE MERGE) site (landing page + whitepaper + wallet) #43: Pull request #36 synchronize by murbard
1m 28s multiasset
multiasset
1m 28s
Multiasset: FA2 token bridging support (REQUIRES THOROUGH AUDIT BEFORE MERGE) Kernel — no insecure bypass #13: Pull request #36 synchronize by murbard
48s multiasset
multiasset
48s
Multiasset: FA2 token bridging support (REQUIRES THOROUGH AUDIT BEFORE MERGE) Unit Tests #150: Pull request #36 synchronize by murbard
7m 48s multiasset
multiasset
7m 48s
Multiasset: FA2 token bridging support (REQUIRES THOROUGH AUDIT BEFORE MERGE) Unit Tests #149: Pull request #36 synchronize by murbard
7m 36s multiasset
multiasset
7m 36s