Skip to content

github: change default branch to main #92

github: change default branch to main

github: change default branch to main #92

Triggered via push January 19, 2024 13:49
Status Success
Total duration 1m 47s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

gh-pages.yml

on: push
Fit to window
Zoom out
Zoom in