Skip to content
Quick jobs

Finish improvements to the CI configuration for documentation changes #7658

Sign in to view logs

Finish improvements to the CI configuration for documentation changes

Finish improvements to the CI configuration for documentation changes #7658

Triggered via pull request November 19, 2023 17:41
@BinderDavidBinderDavid
synchronize #9460
BinderDavid:add-bootstrap-postjob
Status Success
Total duration 6m 33s
Artifacts –

quick-jobs.yml

on: pull_request
Meta checks
6m 5s
Meta checks
Doctest Cabal
5m 12s
Doctest Cabal
Fit to window
Zoom out
Zoom in