Skip to content
Github CI

add typeclass resolution at the end of unification #22

Sign in to view logs

add typeclass resolution at the end of unification

add typeclass resolution at the end of unification #22

Triggered via push September 12, 2025 15:31
@TragicusTragicus
pushed 3c0a576
tc-unif
Status Cancelled
Total duration 4m 0s
Artifacts –

ci-github.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 1 notice
Windows
The operation was canceled.
Windows
Canceling since a higher priority waiting request for Github CI @ refs/heads/tc-unif exists
macOS
The operation was canceled.
macOS
Canceling since a higher priority waiting request for Github CI @ refs/heads/tc-unif exists
Github CI
Canceling since a higher priority waiting request for Github CI @ refs/heads/tc-unif exists
Windows
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677