Skip to content

Comments

Devbox & CI Fixes#1113

Merged
abueide merged 45 commits intomasterfrom
ci2
Jan 28, 2026
Merged

Devbox & CI Fixes#1113
abueide merged 45 commits intomasterfrom
ci2

Conversation

@abueide
Copy link
Contributor

@abueide abueide commented Jan 14, 2026

Implements devbox for a deterministic environment and standardizes ci tests & simulators.

@abueide abueide self-assigned this Jan 14, 2026
@abueide abueide added the draft label Jan 14, 2026
@abueide abueide removed the draft label Jan 22, 2026
@abueide abueide merged commit 140c457 into master Jan 28, 2026
3 of 7 checks passed
@abueide abueide deleted the ci2 branch January 28, 2026 17:12
@abueide abueide mentioned this pull request Jan 28, 2026
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