Skip to content
Deploy docs to GitHub Pages

Change: Update filenames and Name of CI (#1087) #272

Sign in to view logs

Change: Update filenames and Name of CI (#1087)

Change: Update filenames and Name of CI (#1087) #272

Triggered via push October 27, 2023 08:56
@y0urselfy0urself
pushed d060a5d
main
Status Success
Total duration 1m 8s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

github-pages.yml

on: push
deploy  /  deploy
54s
deploy / deploy
Fit to window
Zoom out
Zoom in