DX: remove Technical Reports #708
ci.yml
on: pull_request
doc
/
...
/
Check external links
1m 20s
doc
/
...
/
Execute and build documentation
1m 0s
style
/
Determine skipped pre-commit hooks
5s
doc
/
Upload to GitHub Pages
0s
style
/
Run local pre-commit hooks
30s
style
/
Run taplo through pre-commit
0s
style
/
Push changes
0s
Annotations
2 errors
doc / linkcheck / Check external links
Canceling since a higher priority waiting request for 'CI-refs/pull/296/merge' exists
|
doc / linkcheck / Check external links
The operation was canceled.
|