Skip to content

Merge remote-tracking branch 'github/main' into main #17

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

Merge remote-tracking branch 'github/main' into main #17

Triggered via push November 8, 2023 13:54
Status Success
Total duration 1m 47s
Artifacts

release.yml

on: push
Fit to window
Zoom out
Zoom in