Skip to content
Haskell CI

Added DijkstraPlutusPurpose #19611

Sign in to view logs

Added DijkstraPlutusPurpose

Added DijkstraPlutusPurpose #19611

Triggered via pull request August 27, 2025 13:27
@SoupstrawSoupstraw
synchronize #5231
jj/dijkstra-plutuspurpose
Status Cancelled
Total duration 32m 58s
Artifacts 4

haskell.yml

on: pull_request
Matrix: build
fourmolu
44s
fourmolu
shellcheck
5s
shellcheck
cabal-format
9s
cabal-format
gen-hie
7m 9s
gen-hie
Check branch history
11s
Check branch history
Check if formal-ledger-specifications SRP is valid
23s
Check if formal-ledger-specifications SRP is valid
Check that there are no additions of `undefined`s in the PR diff
13s
Check that there are no additions of `undefined`s in the PR diff
Matrix: test
codegen
5m 22s
codegen
Tests completed
4s
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

Annotations

142 errors
cardano-ledger-babbage-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-api-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-alonzo-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-api-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-babbage-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-api-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-crypto-wrapper-9.10.2-ubuntu-latest
The operation was canceled.
cardano-crypto-wrapper-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-binary-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-binary-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-binary-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-byron-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
codegen
The operation was canceled.
codegen
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-byron-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-conway-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-core-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-conformance-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-conway-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-conformance-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-core-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-conformance-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-dijkstra-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-core-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-dijkstra-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-core-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-dijkstra-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-mary-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-dijkstra-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-mary-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-mary-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-mary-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-ma-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-ma-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-ma-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-ma-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-test-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-protocol-tpraos-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-protocol-tpraos-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
non-integral-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
set-algebra-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-protocol-tpraos-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
non-integral-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
non-integral-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
set-algebra-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
set-algebra-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
small-steps-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
set-algebra-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
small-steps-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
small-steps-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
small-steps-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-shelley-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-shelley-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-crypto-wrapper-9.6.7-ubuntu-latest
The operation was canceled.
cardano-crypto-wrapper-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
vector-map-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
vector-map-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
vector-map-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-allegra-9.10.2-ubuntu-latest
The operation was canceled.
cardano-ledger-allegra-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-conway-9.10.2-ubuntu-latest
The operation was canceled.
cardano-ledger-conway-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-data-9.10.2-ubuntu-latest
The operation was canceled.
cardano-data-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
byron-spec-ledger-9.8.4-ubuntu-latest
The operation was canceled.
byron-spec-ledger-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
byron-spec-chain-9.12.2-ubuntu-latest
The operation was canceled.
byron-spec-chain-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
byron-spec-chain-9.6.7-ubuntu-latest
The operation was canceled.
byron-spec-chain-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
byron-spec-ledger-9.6.7-ubuntu-latest
The operation was canceled.
byron-spec-ledger-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
byron-spec-ledger-9.12.2-ubuntu-latest
The operation was canceled.
byron-spec-ledger-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
byron-spec-chain-9.8.4-ubuntu-latest
The operation was canceled.
byron-spec-chain-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-allegra-9.8.4-ubuntu-latest
The operation was canceled.
cardano-ledger-allegra-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-data-9.8.4-ubuntu-latest
The operation was canceled.
cardano-data-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-allegra-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-allegra-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-alonzo-9.8.4-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-alonzo-test-9.8.4-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-test-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-crypto-wrapper-9.8.4-ubuntu-latest
The operation was canceled.
byron-spec-ledger-9.10.2-ubuntu-latest
The operation was canceled.
cardano-crypto-wrapper-9.8.4-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
byron-spec-ledger-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-alonzo-test-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-test-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-alonzo-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-alonzo-test-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-test-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
byron-spec-chain-9.10.2-ubuntu-latest
The operation was canceled.
byron-spec-chain-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-data-9.12.2-ubuntu-latest
The operation was canceled.
cardano-data-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-alonzo-9.10.2-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-allegra-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-allegra-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-babbage-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-babbage-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-alonzo-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-alonzo-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-binary-9.10.2-ubuntu-latest
The operation was canceled.
cardano-ledger-binary-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-babbage-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-babbage-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-crypto-wrapper-9.12.2-ubuntu-latest
The operation was canceled.
cardano-crypto-wrapper-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-conway-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-conway-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-api-9.10.2-ubuntu-latest
The operation was canceled.
cardano-ledger-api-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-data-9.6.7-ubuntu-latest
The operation was canceled.
cardano-data-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-byron-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-byron-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-byron-9.6.7-ubuntu-latest
The operation was canceled.
cardano-ledger-byron-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-ledger-conformance-9.12.2-ubuntu-latest
The operation was canceled.
cardano-ledger-conformance-9.12.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
cardano-protocol-tpraos-9.6.7-ubuntu-latest
The operation was canceled.
cardano-protocol-tpraos-9.6.7-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
non-integral-9.10.2-ubuntu-latest
The operation was canceled.
non-integral-9.10.2-ubuntu-latest
Canceling since a higher priority waiting request for Haskell CI-5231 exists
Tests completed
Process completed with exit code 1.
Haskell CI
Canceling since a higher priority waiting request for Haskell CI-5231 exists

Artifacts

Produced during runtime
Name Size Digest
state-9.10.2-ubuntu-latest Expired
928 MB
sha256:a7c2a06ba93a59c990ac48d2047ba7487f784f7d9276ac7de102b178a4aa59df
state-9.12.2-ubuntu-latest Expired
922 MB
sha256:36db7ef095d86086f2475ee328eede31c0cc4daf2b4bf49c1a7edf2959bcfcd6
state-9.6.7-ubuntu-latest Expired
941 MB
sha256:61085093c857a67ead8d5350ff4abdb041db3a32a0e60981e24ab8b943fb6b88
state-9.8.4-ubuntu-latest Expired
920 MB
sha256:e38af5dac865c7c7e9608021a0dcc5ae2803e44175527ec6d6a97a1210f38ba0