Deploy to GitHub Pages

Adding a 9.5 placeholder (#530) #443

Sign in to view logs

Triggered via push November 15, 2024 02:14

master

Status Success

Total duration 1m 37s

Artifacts –

deploy-gh_pages.yml

on: push

build-and-deploy