Skip to content
CI

Add new module Dec for decidability proofs (compiled to Bool) #421

Sign in to view logs

Add new module Dec for decidability proofs (compiled to Bool)

Add new module Dec for decidability proofs (compiled to Bool) #421

Triggered via pull request December 19, 2023 13:07
@jespercockxjespercockx
synchronize #247
jespercockx:Dec
Status Failure
Total duration 9m 56s
Artifacts –

ci.yml

on: pull_request
Matrix: cabal
Fit to window
Zoom out
Zoom in

Annotations

13 errors
ubuntu-latest / ghc 9.6.3
Process completed with exit code 2.
ubuntu-latest / ghc 8.8.4
The job was canceled because "ubuntu-latest_3_8_9_6_3" failed.
ubuntu-latest / ghc 8.8.4
The operation was canceled.
ubuntu-latest / ghc 9.4.3
The job was canceled because "ubuntu-latest_3_8_9_6_3" failed.
ubuntu-latest / ghc 9.4.3
The operation was canceled.
ubuntu-latest / ghc 9.0.2
The job was canceled because "ubuntu-latest_3_8_9_6_3" failed.
ubuntu-latest / ghc 9.0.2
The operation was canceled.
ubuntu-latest / ghc 9.2.5
The job was canceled because "ubuntu-latest_3_8_9_6_3" failed.
ubuntu-latest / ghc 9.2.5
The operation was canceled.
ubuntu-latest / ghc 8.10.7
The job was canceled because "ubuntu-latest_3_8_9_6_3" failed.
ubuntu-latest / ghc 8.10.7
The operation was canceled.
ubuntu-latest / ghc 8.6.5
The job was canceled because "ubuntu-latest_3_8_9_6_3" failed.
ubuntu-latest / ghc 8.6.5
The operation was canceled.