Skip to content
pages

Revert "Mount directory with write permission to allow generating fil… #3583

Sign in to view logs

Revert "Mount directory with write permission to allow generating fil…

Revert "Mount directory with write permission to allow generating fil… #3583

Run time

Learn about OS pricing on GitHub Actions
Job Run time
id_repo
1s
docker-build
1m 23s
pages
4m 50s
check-doc
1m 4s
7m 18s