Set badges for PLFA-zh #62
OlingCatci.yml
on: pull_request
Matrix: build
Publish to GitHub Pages
0s
Publish to GitHub Releases
0s
Annotations
27 errors
|
Build with older Agda 2.6.2.2
The run was canceled by @OlingCat.
|
|
Build with older Agda 2.6.2.2
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build with older Agda 2.6.2.2
The operation was canceled.
|
|
Build on Windows
The run was canceled by @OlingCat.
|
|
Build on Windows
The operation was canceled.
|
|
Build on Windows
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build on Linux
The run was canceled by @OlingCat.
|
|
Build on Linux
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build with older Agda 2.6.2
The run was canceled by @OlingCat.
|
|
Build with older Agda 2.6.2
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build with older GHC 8.10.7
The run was canceled by @OlingCat.
|
|
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.2.8
The run was canceled by @OlingCat.
|
|
Build with older GHC 9.2.8
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build with older GHC 9.0.2
The run was canceled by @OlingCat.
|
|
Build with older GHC 9.0.2
The operation was canceled.
|
|
Build with older GHC 9.2.8
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 older Agda 2.6.1.3
The run was canceled by @OlingCat.
|
|
Build with older Agda 2.6.1.3
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build with newer GHC 9.6.3
The run was canceled by @OlingCat.
|
|
Build with newer GHC 9.6.3
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build with older Agda 2.6.2.1
The run was canceled by @OlingCat.
|
|
Build with older Agda 2.6.2.1
No files were found with the provided path: _site. No artifacts will be uploaded.
|
|
Build on macOS
The run was canceled by @OlingCat.
|
|
Build on macOS
No files were found with the provided path: _site. No artifacts will be uploaded.
|