Skip to content

ci: add merge_group as a CI trigger (#530) #181

ci: add merge_group as a CI trigger (#530)

ci: add merge_group as a CI trigger (#530) #181

Triggered via push February 3, 2025 15:44
Status Success
Total duration 11m 15s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
3.43 MB