Skip to content
CI

Developer doc: Clarify headings, add typecheck #130

Sign in to view logs

Developer doc: Clarify headings, add typecheck

Developer doc: Clarify headings, add typecheck #130

Triggered via push October 31, 2024 22:56
@quark17quark17
pushed d72a59d
develop-md
Status Cancelled
Total duration 43s
Artifacts –

ci.yml

on: push
Check: code cleanliness
5s
Check: code cleanliness
Check: testsuite lint
7s
Check: testsuite lint
Matrix: Build/Test: GHC macOS
Matrix: Build/Test: GHC Ubuntu
Matrix: build-and-test-macos
Matrix: build-and-test-ubuntu
Matrix: build-doc-macOS
Matrix: build-doc-ubuntu
Matrix: build-releasenotes-ubuntu
Fit to window
Zoom out
Zoom in

Annotations

34 errors
Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Build: macos-14 ghc-9.4.8
The run was canceled by @quark17.
Build/Test: macos-12 / Build: macos-12 ghc-9.6.6
The run was canceled by @quark17.
Build/Test: macos-13 / Build: macos-13 ghc-9.6.6
The run was canceled by @quark17.
Build/Test: macos-14 / Build: macos-14 ghc-9.6.6
The run was canceled by @quark17.
Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Build: macos-14 ghc-9.8.2
The run was canceled by @quark17.
Build/Test: GHC macOS (9.8.2, 2.7.0.0) / Build: macos-14 ghc-9.8.2
The operation was canceled.
Build doc: macos-13
The run was canceled by @quark17.
Build doc: macos-13
The operation was canceled.
Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0) / Build: ubuntu-22.04 ghc-9.8.2
The run was canceled by @quark17.
Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0) / Build: ubuntu-22.04 ghc-9.8.2
The operation was canceled.
Build/Test: GHC Ubuntu (9.10.1) / Build: ubuntu-22.04 ghc-9.10.1
The run was canceled by @quark17.
Build/Test: GHC Ubuntu (9.10.1) / Build: ubuntu-22.04 ghc-9.10.1
The operation was canceled.
Build/Test: ubuntu-24.04 / Build: ubuntu-24.04 ghc-9.6.6
The run was canceled by @quark17.
Build/Test: ubuntu-24.04 / Build: ubuntu-24.04 ghc-9.6.6
The operation was canceled.
Build releasenotes: ubuntu-22.04
The run was canceled by @quark17.
Build releasenotes: ubuntu-22.04
The operation was canceled.
Build/Test: GHC Ubuntu (9.4.8, 2.7.0.0) / Build: ubuntu-22.04 ghc-9.4.8
The run was canceled by @quark17.
Build/Test: GHC Ubuntu (9.4.8, 2.7.0.0) / Build: ubuntu-22.04 ghc-9.4.8
The operation was canceled.
Build doc: ubuntu-24.04
The run was canceled by @quark17.
Build doc: ubuntu-24.04
The operation was canceled.
Build/Test: ubuntu-22.04 / Build: ubuntu-22.04 ghc-9.6.6
The run was canceled by @quark17.
Build/Test: ubuntu-22.04 / Build: ubuntu-22.04 ghc-9.6.6
The operation was canceled.
Build doc: ubuntu-20.04
The run was canceled by @quark17.
Build doc: ubuntu-20.04
The operation was canceled.
Build/Test: ubuntu-20.04 / Build: ubuntu-20.04 ghc-9.6.6
The run was canceled by @quark17.
Build/Test: ubuntu-20.04 / Build: ubuntu-20.04 ghc-9.6.6
The operation was canceled.
Build doc: macos-14
The run was canceled by @quark17.
Build doc: macos-14
The operation was canceled.
Build doc: macos-12
The run was canceled by @quark17.
Build doc: macos-12
The operation was canceled.
Build doc: ubuntu-22.04
The run was canceled by @quark17.
Build/Test: GHC macOS (9.10.1) / Build: macos-14 ghc-9.10.1
The run was canceled by @quark17.
Build doc: ubuntu-22.04
The operation was canceled.
Build/Test: GHC macOS (9.10.1) / Build: macos-14 ghc-9.10.1
The operation was canceled.