Skip to content
Haskell CI

Mismatch for Conway predicate failures #15974

Sign in to view logs

Mismatch for Conway predicate failures

Mismatch for Conway predicate failures #15974

Triggered via pull request October 18, 2024 09:02
@aniketdaniketd
synchronize #4666
aniketd/mismatch-for-conway
Status Success
Total duration 2h 1m 7s
Artifacts 5

haskell.yml

on: pull_request
Matrix: build
fourmolu
52s
fourmolu
cabal-format
7s
cabal-format
gen-hie
5m 8s
gen-hie
Check branch history
12s
Check branch history
Check if formal-ledger-specifications SRP is valid
31s
Check if formal-ledger-specifications SRP is valid
Matrix: test
Tests completed
3s
Tests completed
Send a slack notification on \#ledger-internal if the nightly build failed
0s
Send a slack notification on \#ledger-internal if the nightly build failed
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
state-8.10.7-ubuntu-latest Expired
794 MB
state-9.10.1-ubuntu-latest Expired
740 MB
state-9.2.8-ubuntu-latest Expired
768 MB
state-9.6.6-ubuntu-latest Expired
752 MB
state-9.8.2-ubuntu-latest Expired
732 MB