GHC (build, test, haddock)

Set a limit on WHNF computation depth #206

Sign in to view logs

Triggered via pull request June 11, 2024 12:59

fizruk

opened #187

max-whnf-depth

Status Success

Total duration 23m 9s

Artifacts 3

ghc.yml

on: pull_request

Matrix: Build and test with GHC

Build and upload Haddock documentation (develop)

Check Rzk formalizations

Annotations

6 warnings

Build and test with GHC (ubuntu-latest)

No cache found

Build and test with GHC (ubuntu-latest)

No cache found

Build and test with GHC (windows-latest)

No cache found

Build and test with GHC (windows-latest)

No cache found

Build and test with GHC (macos-12)

No cache found

Build and test with GHC (macos-12)

No cache found

Artifacts

Produced during runtime

Name	Size
rzk-Linux-X64.tar.gz Expired	9.18 MB
rzk-Windows-X64.tar.gz Expired	13 MB
rzk-macOS-X64.tar.gz Expired	2.39 MB