Skip to content

Fix workflow#152

Merged
jpc-lip6 merged 9 commits intomainfrom
fix-workflow
Dec 21, 2025
Merged

Fix workflow#152
jpc-lip6 merged 9 commits intomainfrom
fix-workflow

Conversation

@jpc-lip6
Copy link
Collaborator

Work to fix the github workflows.

@github-actions
Copy link

github-actions bot commented Dec 21, 2025

A preview of 83a3bca is uploaded and can be seen here:

https://lip6.github.io/coriolis/pull/152/

Changes may take a few minutes to propagate. Since this is a preview of production, content with draft: true will not be rendered. The source is here: https://github.com/lip6/coriolis/tree/gh-pages/pull/152/

@jpc-lip6 jpc-lip6 merged commit 50f04a5 into main Dec 21, 2025
9 checks passed
@jpc-lip6 jpc-lip6 deleted the fix-workflow branch December 21, 2025 14:31
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