Skip to content

Merge pull request #356 from robertdijk/committee-export #285

Merge pull request #356 from robertdijk/committee-export

Merge pull request #356 from robertdijk/committee-export #285

Triggered via push December 12, 2023 13:19
Status Success
Total duration 40s
Artifacts
Check formatting
30s
Check formatting
Fit to window
Zoom out
Zoom in