.github/workflows/push_pr.yml

chore: split documentation generation into a sub-directory #481

Sign in to view logs

Triggered via pull request November 11, 2024 16:11

grunweg

synchronize #170

grunweg:MR-split-docs

Status Success

Total duration 7m 53s

Artifacts –

push_pr.yml

on: pull_request