Skip to content

chore: ci actions version update#111

Merged
MathisGD merged 6 commits into
mainfrom
chore/ci_update
Dec 16, 2025
Merged

chore: ci actions version update#111
MathisGD merged 6 commits into
mainfrom
chore/ci_update

Conversation

@peyha

@peyha peyha commented Dec 16, 2025

Copy link
Copy Markdown
Contributor

No description provided.

adhusson
adhusson previously approved these changes Dec 16, 2025
MathisGD
MathisGD previously approved these changes Dec 16, 2025
Comment thread .github/workflows/formatting.yml Outdated
Comment thread .github/workflows/foundry.yml Outdated
@peyha
peyha dismissed stale reviews from MathisGD and adhusson via 5abd982 December 16, 2025 10:58
@MathisGD
MathisGD requested a review from adhusson December 16, 2025 11:24
@MathisGD
MathisGD merged commit 9b1a7c4 into main Dec 16, 2025
2 checks passed
@MathisGD
MathisGD deleted the chore/ci_update branch December 16, 2025 16:36
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.

4 participants