Skip to content

merging develop into main for release v0.8.0#319

Merged
bedroge merged 36 commits intomainfrom
develop
May 23, 2025
Merged

merging develop into main for release v0.8.0#319
bedroge merged 36 commits intomainfrom
develop

Conversation

@trz42
Copy link
Copy Markdown
Contributor

@trz42 trz42 commented May 23, 2025

SSIA

truib and others added 30 commits March 14, 2025 15:38
avoid that host initialisation scripts are run when launching container
Use named arguments and parsing in ssh signing script
delete pre-existing signature files + small fixes
use Ubuntu 24.04 in CI
@trz42 trz42 added the release label May 23, 2025
@bedroge
Copy link
Copy Markdown
Contributor

bedroge commented May 23, 2025

Error: Missing download info for actions/upload-artifact@3cea5372237819ed00197afe530f5a7ea3e805c8

Not related to this PR, we can fix that in another PR by bumping the version, ignoring it for now.

@bedroge bedroge merged commit 95c574b into main May 23, 2025
8 of 9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants