Build Doxygen and deploy to GitHub Pages

Update the PINS programs. (#4799) #46

Sign in to view logs

Triggered via push July 16, 2024 14:07

github-merge-queue[bot]

main

Status Success

Total duration 10m 38s

Artifacts –

deploy-docs.yml

on: push

build-and-deploy