Skip to content

Add github actions#9

Merged
beaufortfrancois merged 1 commit intomainfrom
workflow
Feb 6, 2026
Merged

Add github actions#9
beaufortfrancois merged 1 commit intomainfrom
workflow

Conversation

@beaufortfrancois
Copy link
Collaborator

@andreban FYI I'm pushing it to see if it works as expected.

@beaufortfrancois beaufortfrancois merged commit 3c592e4 into main Feb 6, 2026
2 checks passed
beaufortfrancois added a commit that referenced this pull request Feb 6, 2026
@beaufortfrancois beaufortfrancois deleted the workflow branch February 6, 2026 09:35
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