Skip to content

Actions: matter-labs/era-consensus

Actions

Specification testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
spec.yaml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: ChonkyBFT types Specification testing #38: Pull request #209 synchronize by brunoffranca
October 21, 2024 01:35 9m 45s bf-chonky-types
bf-chonky-types
October 21, 2024 01:35 9m 45s
docs: detailed use of get_justification in informal spec Specification testing #37: Pull request #204 opened by brunoffranca
October 4, 2024 15:51 6m 28s bf-spec
bf-spec
October 4, 2024 15:51 6m 28s
Enable smoke tests for guided model checking of the Quint specs in the CI Specification testing #36: Pull request #188 opened by konnov
September 4, 2024 09:30 6m 15s igor/smoke-guided
igor/smoke-guided
September 4, 2024 09:30 6m 15s
Refactor the Quint specification after #144 Specification testing #35: Pull request #146 synchronize by konnov
August 8, 2024 08:48 3m 59s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
August 8, 2024 08:48 3m 59s