Skip to content

Merge remote-tracking branch 'upstream/main' into main #13

Merge remote-tracking branch 'upstream/main' into main

Merge remote-tracking branch 'upstream/main' into main #13

Triggered via push December 1, 2023 03:11
Status Success
Total duration 30s
Artifacts

web.yml

on: push
Build and deploy site and docs
16s
Build and deploy site and docs
Fit to window
Zoom out
Zoom in