Generate GitHub Pages

Disable `-Wno-unknown-warning-option` on windows (#620) #503

Sign in to view logs

Triggered via push September 5, 2023 19:13

main

Status Success

Total duration 5m 4s

Artifacts –

generateDocs.yml

on: push

Generate Documentation