Skip to content

Make admin privileges configurable #272

Make admin privileges configurable

Make admin privileges configurable #272

Triggered via pull request September 27, 2023 08:00
Status Success
Total duration 41s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

mdbook.yaml

on: pull_request
Build book
10s
Build book
Publish book on GitHub Pages
13s
Publish book on GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
book Expired
2.88 MB