Skip to content

Squash gh-pages into a single commit when deploying doc #337

Squash gh-pages into a single commit when deploying doc

Squash gh-pages into a single commit when deploying doc #337

Triggered via push January 4, 2024 19:15
Status Cancelled
Total duration 35s
Artifacts

build.yml

on: push
create-binder-env
0s
create-binder-env
Matrix: test
deploy-master-doc
0s
deploy-master-doc
deploy-release-doc
0s
deploy-release-doc
update-doc-versions
0s
update-doc-versions
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
Canceling since a higher priority waiting request for 'Build discrete-optimization-refs/heads/master' exists
linters
Canceling since a higher priority waiting request for 'Build discrete-optimization-refs/heads/master' exists
linters
The operation was canceled.