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

fix workflow Specification testing #13: Commit ac64b01 pushed by dnkolegov
June 26, 2024 11:43 Failure quint
quint
June 26, 2024 11:43 Failure
Add initial specification in Quint Specification testing #12: Pull request #135 synchronize by dnkolegov
June 26, 2024 09:04 4m 21s quint
quint
June 26, 2024 09:04 4m 21s
Add initial specification in Quint Specification testing #11: Pull request #135 synchronize by dnkolegov
June 26, 2024 08:46 1m 43s quint
quint
June 26, 2024 08:46 1m 43s
Add initial specification in Quint Specification testing #10: Pull request #135 synchronize by dnkolegov
June 26, 2024 08:38 57s quint
quint
June 26, 2024 08:38 57s
Add initial specification in Quint Specification testing #9: Pull request #135 synchronize by brunoffranca
June 25, 2024 16:13 1m 4s quint
quint
June 25, 2024 16:13 1m 4s
Add initial specification in Quint Specification testing #8: Pull request #135 synchronize by dnkolegov
June 24, 2024 18:33 1m 2s quint
quint
June 24, 2024 18:33 1m 2s
Add initial specification in Quint Specification testing #7: Pull request #135 synchronize by dnkolegov
June 24, 2024 18:27 1m 1s quint
quint
June 24, 2024 18:27 1m 1s
Add initial specification in Quint Specification testing #6: Pull request #135 synchronize by dnkolegov
June 24, 2024 18:20 1m 6s quint
quint
June 24, 2024 18:20 1m 6s
Add initial specification in Quint Specification testing #5: Pull request #135 synchronize by dnkolegov
June 24, 2024 18:11 58s quint
quint
June 24, 2024 18:11 58s
Add initial specification in Quint Specification testing #4: Pull request #135 synchronize by dnkolegov
June 24, 2024 18:11 57s quint
quint
June 24, 2024 18:11 57s
Add initial specification in Quint Specification testing #3: Pull request #135 synchronize by dnkolegov
June 24, 2024 18:11 1m 4s quint
quint
June 24, 2024 18:11 1m 4s
Add initial specification in Quint Specification testing #2: Pull request #135 synchronize by dnkolegov
June 24, 2024 18:10 1m 0s quint
quint
June 24, 2024 18:10 1m 0s
Add initial specification in Quint Specification testing #1: Pull request #135 opened by dnkolegov
June 24, 2024 15:51 1m 2s quint
quint
June 24, 2024 15:51 1m 2s