.github/workflows/docs.yml

Merge pull request #591 from Remi-Gau/fix #66

Sign in to view logs

Summary
Jobs
- build_docs
Run details
- Usage
- Workflow file

Triggered via push November 12, 2023 15:55

Remi-Gau

master

Status Success

Total duration 1m 0s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: push