Skip to content

Merge pull request #38 from ethz-asl/feature/update_readme #185

Merge pull request #38 from ethz-asl/feature/update_readme

Merge pull request #38 from ethz-asl/feature/update_readme #185

Triggered via push October 5, 2023 16:49
Status Success
Total duration 16s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Process /prepare-release cmds
0s
Process /prepare-release cmds
Check version is incremental
0s
Check version is incremental
Tag pushes to main
5s
Tag pushes to main
Prepare release
0s
Prepare release
Fit to window
Zoom out
Zoom in