Skip to content

ci: update GitHub actions#238

Merged
sbinet merged 1 commit intomainfrom
ci
Mar 7, 2025
Merged

ci: update GitHub actions#238
sbinet merged 1 commit intomainfrom
ci

Conversation

@sbinet
Copy link
Member

@sbinet sbinet commented Mar 7, 2025

No description provided.

Signed-off-by: Sebastien Binet <binet@cern.ch>
@sbinet sbinet merged commit 79bb925 into main Mar 7, 2025
6 checks passed
@sbinet sbinet deleted the ci branch March 7, 2025 10:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant