Typecheck: Do more substitution on reduced preds #42
Triggered via pull request
March 2, 2024 03:25
quark17
Status
Success
Total duration
2h 32m 10s
Artifacts
18
ci.yml
on: pull_request
Build/Test: GHC latest macOS
/
Build: macos-12 ghc-9.8.1
16m 30s
Build/Test: GHC latest Ubuntu
/
Build: ubuntu-22.04 ghc-9.8.1
8m 25s
Check: code cleanliness
6s
Check: testsuite lint
5s
Matrix: build-and-test-macos
Matrix: build-and-test-ubuntu
Matrix: build-doc-macOS
Matrix: build-doc-ubuntu
Matrix: build-releasenotes-ubuntu
Build/Test: GHC latest macOS
/
Test macos-12 ghc-9.8.1
1h 47m
Build/Test: GHC latest macOS
/
Test Toooba macos-12 ghc-9.8.1
16m 44s
Build/Test: GHC latest macOS
/
Test bsc-contrib macos-12 ghc-9.8.1
3m 57s
Build/Test: GHC latest macOS
/
Test bdw macos-12 ghc-9.8.1
1m 7s
Build/Test: GHC latest Ubuntu
/
Test ubuntu-22.04 ghc-9.8.1
55m 49s
Build/Test: GHC latest Ubuntu
/
Test Toooba ubuntu-22.04 ghc-9.8.1
10m 37s
Build/Test: GHC latest Ubuntu
/
Test bsc-contrib ubuntu-22.04 ghc-9.8.1
2m 33s
Build/Test: GHC latest Ubuntu
/
Test bdw ubuntu-22.04 ghc-9.8.1
1m 55s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
macos-11 build doc
|
3.69 MB |
|
|
macos-11 ghc-9.4.8 build
|
22.5 MB |
|
|
macos-11-doc-not-tar
|
3.69 MB |
|
|
macos-12 build doc
|
3.69 MB |
|
|
macos-12 ghc-9.4.8 build
|
22.6 MB |
|
|
macos-12 ghc-9.8.1 build
|
22.6 MB |
|
|
macos-12-doc-not-tar
|
3.69 MB |
|
|
macos-13 build doc
|
3.69 MB |
|
|
macos-13 ghc-9.4.8 build
|
22.6 MB |
|
|
macos-13-doc-not-tar
|
3.69 MB |
|
|
ubuntu-20.04 build doc
|
3.58 MB |
|
|
ubuntu-20.04 ghc-9.4.8 build
|
23.2 MB |
|
|
ubuntu-20.04-doc-not-tar
|
3.58 MB |
|
|
ubuntu-22.04 build doc
|
3.62 MB |
|
|
ubuntu-22.04 ghc-9.4.8 build
|
23.1 MB |
|
|
ubuntu-22.04 ghc-9.8.1 build
|
20.4 MB |
|
|
ubuntu-22.04 releasenotes
|
84.2 KB |
|
|
ubuntu-22.04-doc-not-tar
|
3.62 MB |
|