Skip to content
Test all and report status

[typeset] Update to 1.2.3 (#1148) #1899

Sign in to view logs

[typeset] Update to 1.2.3 (#1148)

[typeset] Update to 1.2.3 (#1148) #1899

Triggered via push July 7, 2025 13:47
@fingolfinfingolfin
pushed 243aefe
main
Status Cancelled
Total duration 10s
Artifacts –

test-all-and-report.yml

on: push
master  /  Build GAP and packages
master / Build GAP and packages
Matrix: master / test-package
Waiting for pending jobs
master  /  Generate report
master / Generate report
Upload master report  /  Upload report
Upload master report / Upload report
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test all and report status
Canceling since a higher priority waiting request for Test all and report status-refs/heads/main exists