This repository has been archived by the owner on Jan 12, 2024. It is now read-only.

[FeatureRequest] Add Docs Pipeline #67

Closed

justusschock opened this issue May 3, 2020 · 0 comments · Fixed by #69

Assignees

Labels

Member

justusschock commented May 3, 2020

Check if docs can build on every PR:

justusschock added the FeatureRequest label

justusschock self-assigned this

This was referenced May 3, 2020

Merged

Doc pipeline #69

Merged

justusschock closed this as completed in #69

justusschock added this to Done in Docathlon via automation

mibaumgartner removed this from Done in Docathlon

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.