Publish docs via GitHub Pages

Merge pull request #5434 from ywwry66/mixed_openmp_warning #1612

Sign in to view logs

Triggered via push November 23, 2025 20:25

martin-frbg

develop

Status Success

Total duration 4m 40s

Artifacts –

docs.yml

on: push