Skip to content

Merge pull request #1383 from SEKOIA-IO/renaming #1110

Merge pull request #1383 from SEKOIA-IO/renaming

Merge pull request #1383 from SEKOIA-IO/renaming #1110

Triggered via push October 17, 2023 15:11
Status Success
Total duration 3m 48s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Build and upload public version of the website
3m 38s
Build and upload public version of the website
Fit to window
Zoom out
Zoom in