Skip to content
CI

Merge pull request #1746 from jdchristensen/cleanup #1523

Sign in to view logs

Merge pull request #1746 from jdchristensen/cleanup

Merge pull request #1746 from jdchristensen/cleanup #1523

Triggered via push September 3, 2023 14:03
@github-merge-queuegithub-merge-queue[bot]
pushed 9481231
gh-readonly-queue/master/pr-1746-32613492e34a72e838ad36a60cfdd4180e14afe9
Status Cancelled
Total duration 2s
Artifacts –

ci.yml

on: push
Matrix: build
Waiting for pending jobs
nix
nix
Matrix: opam-build
Waiting for pending jobs
Matrix: quick-build
Waiting for pending jobs
Matrix: coqchk
Waiting for pending jobs
Matrix: install
Waiting for pending jobs
doc-alectryon
doc-alectryon
doc-coqdoc
doc-coqdoc
doc-dep-graphs
doc-dep-graphs
doc-timing
doc-timing
deploy-doc
deploy-doc
delete-artifacts
delete-artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI
Canceling since a higher priority waiting request for 'CI @ refs/heads/gh-readonly-queue/master/pr-1746-32613492e34a72e838ad36a60cfdd4180e14afe9' exists