Skip to content
GHC (build, test, haddock)

Add syntax sugar for nested sigma-types #196

Sign in to view logs

Add syntax sugar for nested sigma-types

Add syntax sugar for nested sigma-types #196

Triggered via pull request April 19, 2024 14:42
@geffk2geffk2
synchronize #183
geffk2:syntax-sugar-sigma-types
Status Failure
Total duration 3m 1s
Artifacts –

ghc.yml

on: pull_request
Matrix: Build and test with GHC
Build and upload Haddock documentation (develop)
0s
Build and upload Haddock documentation (develop)
Check Rzk formalizations
0s
Check Rzk formalizations
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Build and test with GHC (ubuntu-latest)
Process completed with exit code 1.
Build and test with GHC (windows-latest)
The job was canceled because "ubuntu-latest" failed.
Build and test with GHC (macos-latest)
The job was canceled because "ubuntu-latest" failed.
Build and test with GHC (ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.