Generate GitHub Pages

fix configure.py not regen if deleted from build (#860) #1103

Sign in to view logs

Triggered via push December 12, 2023 22:56

main

Status Success

Total duration 1m 21s

Artifacts –

generateDocs.yml

on: push

Generate Documentation