Skip to content
Haskell CI

Pass the signature checking function to Agda #16220

Sign in to view logs

Pass the signature checking function to Agda

Pass the signature checking function to Agda #16220

Triggered via pull request November 5, 2024 11:28
@SoupstrawSoupstraw
synchronize #4736
jj/conformance-signatures
Status Cancelled
Total duration 4m 39s
Artifacts –

haskell.yml

on: pull_request
Matrix: build
fourmolu
0s
fourmolu
cabal-format
0s
cabal-format
gen-hie
0s
gen-hie
Check branch history
0s
Check branch history
Check if formal-ledger-specifications SRP is valid
0s
Check if formal-ledger-specifications SRP is valid
Matrix: test
Tests completed
0s
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

11 errors
build (9.2.8, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
build (8.10.7, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
build (9.8.2, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
fourmolu
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
build (9.6.6, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
build (9.10.1, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
Check branch history
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
cabal-format
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
gen-hie
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
Check if formal-ledger-specifications SRP is valid
Canceling since a higher priority waiting request for 'Haskell CI-4736' exists
Tests completed
Process completed with exit code 1.