Skip to content
Documentation - Deploy to GitHub Pages

Merge pull request #2022 from cabrinenyona/documentation_radio_button #539

Sign in to view logs

Merge pull request #2022 from cabrinenyona/documentation_radio_button

Merge pull request #2022 from cabrinenyona/documentation_radio_button #539

Triggered via push August 14, 2023 07:58
@esmeetewinkelesmeetewinkel
pushed 34d41a1
master
Status Success
Total duration 1m 14s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

documentation-deploy.yml

on: push
Deploy docs
1m 4s
Deploy docs
Fit to window
Zoom out
Zoom in