Skip to content

CI: switch to the official GitHub Pages deploy actions #1701

CI: switch to the official GitHub Pages deploy actions

CI: switch to the official GitHub Pages deploy actions #1701

Triggered via push December 24, 2023 06:40
Status Success
Total duration 56s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push