Skip to content
agda-unimath CI

Quasigroups #9131

Sign in to view logs

Quasigroups

Quasigroups #9131

Triggered via pull request February 15, 2025 19:25
@djspacewhaledjspacewhale
synchronize #1330
djspacewhale:quasigroups
Status Cancelled
Total duration 12s
Artifacts –

ci.yaml

on: pull_request
Matrix: typecheck
Waiting for pending jobs
pre-commit
pre-commit
link-check
link-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
agda-unimath CI
Canceling since a higher priority waiting request for 'agda-unimath CI-quasigroups' exists