Skip to content

rename nightly to devel #38

rename nightly to devel

rename nightly to devel #38

Triggered via push October 10, 2023 16:13
Status Success
Total duration 4m 0s
Artifacts

release.yml

on: push
Matrix: run_tests
Create devel tag for master branch
10s
Create devel tag for master branch
Release stable version
0s
Release stable version
Release devel version
3m 31s
Release devel version
Fit to window
Zoom out
Zoom in