Skip to content

Actions: matter-labs/era-consensus

Actions

Specification testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
spec.yaml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: use create_justification in the quint specification as in the informal spec Specification testing #63: Pull request #218 synchronize by konnov
November 28, 2024 10:27 6m 14s igor/spec-justifications
igor/spec-justifications
November 28, 2024 10:27 6m 14s
refactor: use create_justification in the quint specification as in the informal spec Specification testing #62: Pull request #218 synchronize by brunoffranca
November 27, 2024 16:12 6m 18s igor/spec-justifications
igor/spec-justifications
November 27, 2024 16:12 6m 18s
refactor: use create_justification in the quint specification as in the informal spec Specification testing #61: Pull request #218 synchronize by konnov
November 27, 2024 15:33 6m 8s igor/spec-justifications
igor/spec-justifications
November 27, 2024 15:33 6m 8s
refactor: use create_justification in the quint specification as in the informal spec Specification testing #60: Pull request #218 opened by konnov
November 27, 2024 14:17 6m 27s igor/spec-justifications
igor/spec-justifications
November 27, 2024 14:17 6m 27s
fix: Use justifications directly in the informal spec Specification testing #59: Pull request #217 opened by dnkolegov
November 21, 2024 10:05 6m 1s use-justifications
use-justifications
November 21, 2024 10:05 6m 1s
fix: Fix high vote on informal spec Specification testing #58: Pull request #215 opened by brunoffranca
November 20, 2024 14:58 6m 16s bf-spec-fix
bf-spec-fix
November 20, 2024 14:58 6m 16s
feat: Implement ChonkyBFT Specification testing #57: Pull request #211 synchronize by brunoffranca
November 5, 2024 17:49 6m 16s bf-chonky
bf-chonky
November 5, 2024 17:49 6m 16s
feat: Implement ChonkyBFT Specification testing #56: Pull request #211 synchronize by brunoffranca
November 1, 2024 20:24 6m 11s bf-chonky
bf-chonky
November 1, 2024 20:24 6m 11s
feat: Implement ChonkyBFT Specification testing #55: Pull request #211 synchronize by brunoffranca
November 1, 2024 19:45 6m 1s bf-chonky
bf-chonky
November 1, 2024 19:45 6m 1s
feat: Implement ChonkyBFT Specification testing #54: Pull request #211 opened by brunoffranca
November 1, 2024 19:30 6m 13s bf-chonky
bf-chonky
November 1, 2024 19:30 6m 13s
feat: ChonkyBFT logic Specification testing #53: Pull request #210 synchronize by brunoffranca
November 1, 2024 19:02 6m 14s bf-chonky-logic
bf-chonky-logic
November 1, 2024 19:02 6m 14s
feat: ChonkyBFT logic Specification testing #52: Pull request #210 synchronize by brunoffranca
October 30, 2024 19:40 6m 15s bf-chonky-logic
bf-chonky-logic
October 30, 2024 19:40 6m 15s
feat: ChonkyBFT logic Specification testing #51: Pull request #210 synchronize by brunoffranca
October 30, 2024 18:20 6m 19s bf-chonky-logic
bf-chonky-logic
October 30, 2024 18:20 6m 19s
feat: ChonkyBFT logic Specification testing #50: Pull request #210 synchronize by brunoffranca
October 30, 2024 02:08 6m 3s bf-chonky-logic
bf-chonky-logic
October 30, 2024 02:08 6m 3s
feat: ChonkyBFT logic Specification testing #49: Pull request #210 synchronize by brunoffranca
October 30, 2024 01:31 6m 5s bf-chonky-logic
bf-chonky-logic
October 30, 2024 01:31 6m 5s
feat: ChonkyBFT logic Specification testing #48: Pull request #210 synchronize by brunoffranca
October 30, 2024 01:20 6m 7s bf-chonky-logic
bf-chonky-logic
October 30, 2024 01:20 6m 7s
feat: ChonkyBFT logic Specification testing #47: Pull request #210 synchronize by brunoffranca
October 30, 2024 00:15 6m 13s bf-chonky-logic
bf-chonky-logic
October 30, 2024 00:15 6m 13s
feat: ChonkyBFT logic Specification testing #46: Pull request #210 synchronize by brunoffranca
October 29, 2024 04:45 6m 20s bf-chonky-logic
bf-chonky-logic
October 29, 2024 04:45 6m 20s
feat: ChonkyBFT logic Specification testing #45: Pull request #210 synchronize by brunoffranca
October 26, 2024 17:50 6m 1s bf-chonky-logic
bf-chonky-logic
October 26, 2024 17:50 6m 1s
feat: ChonkyBFT logic Specification testing #44: Pull request #210 synchronize by brunoffranca
October 26, 2024 02:24 6m 3s bf-chonky-logic
bf-chonky-logic
October 26, 2024 02:24 6m 3s
feat: ChonkyBFT logic Specification testing #43: Pull request #210 synchronize by brunoffranca
October 25, 2024 22:44 6m 21s bf-chonky-logic
bf-chonky-logic
October 25, 2024 22:44 6m 21s
feat: ChonkyBFT logic Specification testing #42: Pull request #210 synchronize by brunoffranca
October 25, 2024 01:49 6m 2s bf-chonky-logic
bf-chonky-logic
October 25, 2024 01:49 6m 2s
feat: ChonkyBFT logic Specification testing #41: Pull request #210 synchronize by brunoffranca
October 25, 2024 01:41 6m 31s bf-chonky-logic
bf-chonky-logic
October 25, 2024 01:41 6m 31s
feat: ChonkyBFT logic Specification testing #40: Pull request #210 synchronize by brunoffranca
October 22, 2024 17:53 6m 7s bf-chonky-logic
bf-chonky-logic
October 22, 2024 17:53 6m 7s
feat: ChonkyBFT types Specification testing #39: Pull request #209 synchronize by brunoffranca
October 21, 2024 01:42 6m 26s bf-chonky-types
bf-chonky-types
October 21, 2024 01:42 6m 26s