Typecheck: Do more substitution on reduced preds #43

Sign in to view logs

Triggered via push March 3, 2024 09:21

quark17

main

Status Success

Total duration 3h 9m 38s

Artifacts 18

ci.yml

on: push

Build/Test: GHC latest macOS / Build: macos-12 ghc-9.8.1

Build/Test: GHC latest Ubuntu / Build: ubuntu-22.04 ghc-9.8.1

Check: code cleanliness

Check: testsuite lint

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

Build/Test: GHC latest macOS / Test Toooba macos-12 ghc-9.8.1

Build/Test: GHC latest macOS / Test bsc-contrib macos-12 ghc-9.8.1

Build/Test: GHC latest macOS / Test bdw macos-12 ghc-9.8.1

Build/Test: GHC latest Ubuntu / Test ubuntu-22.04 ghc-9.8.1

Build/Test: GHC latest Ubuntu / Test Toooba ubuntu-22.04 ghc-9.8.1

Build/Test: GHC latest Ubuntu / Test bsc-contrib ubuntu-22.04 ghc-9.8.1

Build/Test: GHC latest Ubuntu / Test bdw ubuntu-22.04 ghc-9.8.1

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.7 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.1 KB
ubuntu-22.04-doc-not-tar	3.62 MB