Skip to content

Actions: matter-labs/era-consensus

Actions

Specification testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
spec.yaml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Refactor the Quint specification after #144 Specification testing #34: Pull request #146 synchronize by konnov
July 30, 2024 11:06 3m 52s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 30, 2024 11:06 3m 52s
Refactor the Quint specification after #144 Specification testing #33: Pull request #146 synchronize by konnov
July 30, 2024 10:59 4m 29s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 30, 2024 10:59 4m 29s
Refactor the Quint specification after #144 Specification testing #32: Pull request #146 synchronize by konnov
July 30, 2024 07:50 27s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 30, 2024 07:50 27s
Refactor the Quint specification after #144 Specification testing #31: Pull request #146 synchronize by konnov
July 27, 2024 09:40 21s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 27, 2024 09:40 21s
Refactor the Quint specification after #144 Specification testing #30: Pull request #146 synchronize by konnov
July 27, 2024 09:35 22s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 27, 2024 09:35 22s
Refactor the Quint specification after #144 Specification testing #29: Pull request #146 synchronize by konnov
July 23, 2024 07:24 19s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 23, 2024 07:24 19s
Refactor the Quint specification after #144 Specification testing #28: Pull request #146 synchronize by konnov
July 17, 2024 13:31 4m 6s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 17, 2024 13:31 4m 6s
Refactor the Quint specification after #144 Specification testing #27: Pull request #146 synchronize by konnov
July 17, 2024 11:30 3m 54s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 17, 2024 11:30 3m 54s
Refactor the Quint specification after #144 Specification testing #26: Pull request #146 synchronize by brunoffranca
July 8, 2024 15:29 3m 42s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 8, 2024 15:29 3m 42s
Refactored TimeoutQC to contain just one CommitQC Specification testing #25: Pull request #144 synchronize by brunoffranca
July 8, 2024 15:28 4m 11s bf-timeout-qc-refactor
bf-timeout-qc-refactor
July 8, 2024 15:28 4m 11s
Refactored TimeoutQC to contain just one CommitQC Specification testing #24: Pull request #144 synchronize by brunoffranca
July 8, 2024 15:03 4m 15s bf-timeout-qc-refactor
bf-timeout-qc-refactor
July 8, 2024 15:03 4m 15s
Refactored TimeoutQC to contain just one CommitQC Specification testing #23: Pull request #144 synchronize by brunoffranca
July 8, 2024 15:03 4m 21s bf-timeout-qc-refactor
bf-timeout-qc-refactor
July 8, 2024 15:03 4m 21s
Refactor the Quint specification after #144 Specification testing #22: Pull request #146 synchronize by konnov
July 5, 2024 15:32 3m 49s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 5, 2024 15:32 3m 49s
Refactor the Quint specification after #144 Specification testing #21: Pull request #146 synchronize by konnov
July 5, 2024 14:21 3m 45s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 5, 2024 14:21 3m 45s
Refactor the Quint specification after #144 Specification testing #20: Pull request #146 synchronize by konnov
July 5, 2024 14:13 3m 52s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 5, 2024 14:13 3m 52s
Refactor the Quint specification after #144 Specification testing #19: Pull request #146 synchronize by konnov
July 5, 2024 10:17 39s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 5, 2024 10:17 39s
Refactor the Quint specification after #144 Specification testing #18: Pull request #146 opened by konnov
July 5, 2024 09:02 44s igor/quint-timeout-qc-refactor
igor/quint-timeout-qc-refactor
July 5, 2024 09:02 44s
Refactored TimeoutQC to contain just one CommitQC Specification testing #17: Pull request #144 opened by brunoffranca
July 2, 2024 15:12 4m 17s bf-timeout-qc-refactor
bf-timeout-qc-refactor
July 2, 2024 15:12 4m 17s
Merge remote-tracking branch 'origin/main' into bft-475-gossip-attest… Specification testing #16: Commit 39da8a6 pushed by aakoshh
June 26, 2024 18:45 Failure bft-475-gossip-attestation
bft-475-gossip-attestation
June 26, 2024 18:45 Failure
Add initial specification in Quint (#135) Specification testing #15: Commit f696992 pushed by dnkolegov
June 26, 2024 13:56 Failure main
main
June 26, 2024 13:56 Failure