Skip to content

Fix CI not running#9

Merged
bettio merged 3 commits intoatomvm:mainfrom
petermm:fix-ci-not-running
Dec 28, 2025
Merged

Fix CI not running#9
bettio merged 3 commits intoatomvm:mainfrom
petermm:fix-ci-not-running

Conversation

@petermm
Copy link
Contributor

@petermm petermm commented Dec 28, 2025

No description provided.

Signed-off-by: Peter M <petermm@gmail.com>
Signed-off-by: Peter M <petermm@gmail.com>
Signed-off-by: Peter M <petermm@gmail.com>
@bettio bettio merged commit 10fa0b2 into atomvm:main Dec 28, 2025
2 of 3 checks passed
@petermm petermm deleted the fix-ci-not-running branch December 28, 2025 23: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.

2 participants