Add imports for *-mono-<= exercise #969
negatratoronci.yml
on: pull_request
Matrix: build
Publish to GitHub Pages
0s
Publish to GitHub Releases
0s
Annotations
21 errors and 1 warning
|
Build on Windows
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build on Windows
The operation was canceled.
|
|
Build with older GHC 8.10.7
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build with older GHC 8.10.7
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build with older GHC 8.10.7
The operation was canceled.
|
|
Build with older GHC 9.0.2
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build with older GHC 9.0.2
The operation was canceled.
|
|
Build with older GHC 9.0.2
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build with newer GHC 9.8.2
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build with newer GHC 9.8.2
The operation was canceled.
|
|
Build with older GHC 9.2.8
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build with older GHC 9.2.8
The operation was canceled.
|
|
Build on macOS
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build on macOS
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build on macOS
The operation was canceled.
|
|
Build with older Agda 2.6.4.3
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build with older Agda 2.6.4.3
The operation was canceled.
|
|
Build with newer GHC 9.6.6
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build with newer GHC 9.6.6
The operation was canceled.
|
|
Build on Linux
Canceling since a higher priority waiting request for 'CI-refs/pull/1080/merge' exists
|
|
Build on Linux
The operation was canceled.
|
|
Build on macOS
Support for arm64 is experimental
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8
|
6.36 MB |
sha256:f79e99e97188ddc6ff86d36fe825ecec01b35308ff29eb3cd4048e9f2352d365
|
|
|
Website HEAD Linux Agda-2.7.0 GHC-9.2.8
|
6.48 MB |
sha256:c7eda6a7c0b3d95556f61bfa6b9f4e6f43aefc8be6030795021c3848e9fd0566
|
|
|
Website HEAD Linux Agda-2.7.0 GHC-9.4.8
|
6.35 MB |
sha256:b76177f9ad69b7c48990fc4602d5aeaa08b8e1e912124342e3623bc855baf1e3
|
|
|
Website HEAD Linux Agda-2.7.0 GHC-9.6.6
|
6.29 MB |
sha256:4b262e7055862a854ce0787e4740e4fff12493274feee36bd104d9bb1dff342e
|
|
|
Website HEAD Linux Agda-2.7.0 GHC-9.8.2
|
6.41 MB |
sha256:f2beed91ea44d06df93b18e22dac9ce7c6f553af0c9fc972ef51527f9939b69e
|
|
|
Website HEAD Windows Agda-2.7.0 GHC-9.4.8
|
5.11 MB |
sha256:9ff8962e90a4f6930f0d7bd997200a574f767e3ada2b30ee1f8410513f43d4ef
|
|