Skip to content
Documentation - Deploy to GitHub Pages

Merge pull request #1988 from IDEMSInternational/chore/remove-unused-… #527

Sign in to view logs

Merge pull request #1988 from IDEMSInternational/chore/remove-unused-…

Merge pull request #1988 from IDEMSInternational/chore/remove-unused-… #527

Triggered via push August 8, 2023 08:38
@esmeetewinkelesmeetewinkel
pushed 0ffd083
master
Status Success
Total duration 1m 7s
Artifacts –

documentation-deploy.yml

on: push
Deploy docs
58s
Deploy docs
Fit to window
Zoom out
Zoom in