Skip to content

Actions: Verified-zkEVM/iris-lean

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
Refactor PR review workflow for better handling Build Iris Lean #93: Commit 60f9339 pushed by alexanderlhicks
3m 41s master
master
3m 41s
Add summary workflow configuration file Build Iris Lean #92: Commit 631f5c8 pushed by alexanderlhicks
3m 38s master
master
3m 38s
Sync with Upstream Sync with Upstream #20: Scheduled
8s master
master
8s
Update Dependencies Update Dependencies #20: Scheduled
1m 45s master
master
1m 45s
Merge pull request #266 from Verified-zkEVM/sync-upstream-2026-02-23 Build Iris Lean #91: Commit b159002 pushed by pirapira
3m 35s master
master
3m 35s
Sync upstream leanprover-community/iris-lean and bump to Lean 4.28.0 PR Summary #41: Pull request #266 opened by quangvdao
7m 5s sync-upstream-2026-02-23
sync-upstream-2026-02-23
7m 5s
Sync upstream leanprover-community/iris-lean and bump to Lean 4.28.0 Build Iris Lean #90: Pull request #266 opened by quangvdao
3m 52s sync-upstream-2026-02-23
sync-upstream-2026-02-23
3m 52s
prove C_conseq: monotonicity of jointCondition modality PR Review #50: Issue comment #265 (comment) created by pirapira
1s
1s
prove C_conseq: monotonicity of jointCondition modality PR Summary #40: Pull request #265 synchronize by pirapira
2m 17s fix/C_conseq-proof
fix/C_conseq-proof
2m 17s
prove C_conseq: monotonicity of jointCondition modality Build Iris Lean #89: Pull request #265 synchronize by pirapira
1m 58s fix/C_conseq-proof
fix/C_conseq-proof
1m 58s
prove C_conseq: monotonicity of jointCondition modality PR Summary #39: Pull request #265 opened by pirapira
2m 36s fix/C_conseq-proof
fix/C_conseq-proof
2m 36s
prove C_conseq: monotonicity of jointCondition modality Build Iris Lean #88: Pull request #265 opened by pirapira
2m 6s fix/C_conseq-proof
fix/C_conseq-proof
2m 6s
Proof obligation for IsCoupling.symm in src/Bluebell/ProbabilityTheory/Coupling.lean PR Review #49: Issue comment #150 (comment) created by pirapira
2s
2s
Prove SPMF.IsCoupling.symm PR Review #48: Issue comment #264 (comment) created by pirapira
1s
1s
Sync with Upstream Sync with Upstream #19: Scheduled
12s master
master
12s
Update Dependencies Update Dependencies #19: Scheduled
4m 1s master
master
4m 1s
Proof obligation for IsCoupling.bind in src/Bluebell/ProbabilityTheory/Coupling.lean PR Review #47: Issue comment #163 (comment) created by alexanderlhicks
1s
1s
Proof obligation for IsCoupling.bind in src/Bluebell/ProbabilityTheory/Coupling.lean PR Review #46: Issue comment #164 (comment) created by pirapira
1s
1s
Proof obligation for IsCoupling.bind in src/Bluebell/ProbabilityTheory/Coupling.lean PR Review #45: Issue comment #163 (comment) created by pirapira
1s
1s
Proof obligation for IsCoupling.none_iff in src/Bluebell/ProbabilityTheory/Coupling.lean PR Review #44: Issue comment #156 (comment) created by pirapira
2s
2s
Proof obligation for Lift.graph in src/Bluebell/ProbabilityTheory/Coupling.lean PR Review #43: Issue comment #152 (comment) created by pirapira
1s
1s
Proof obligation for Lift.graph in src/Bluebell/ProbabilityTheory/Coupling.lean PR Review #42: Issue comment #146 (comment) created by pirapira
1s
1s
Merge pull request #263 from FawadHa1der/coupling-proofs Build Iris Lean #87: Commit 515a090 pushed by pirapira
1m 55s master
master
1m 55s
proofs for probabilitytheory/coupling PR Summary #38: Pull request #263 synchronize by pirapira
27s FawadHa1der:coupling-proofs
FawadHa1der:coupling-proofs
27s
proofs for probabilitytheory/coupling Build Iris Lean #86: Pull request #263 synchronize by pirapira
2m 3s FawadHa1der:coupling-proofs
FawadHa1der:coupling-proofs
2m 3s