Skip to content

Rework Docker & CI#404

Merged
irvingpop merged 12 commits intomasterfrom
irving/rework_docker
Jan 25, 2026
Merged

Rework Docker & CI#404
irvingpop merged 12 commits intomasterfrom
irving/rework_docker

Conversation

@irvingpop
Copy link
Collaborator

Description of changes

Cleans up the Docker image and build process, reimplements CI in GHA

@irvingpop irvingpop merged commit 94bcee2 into master Jan 25, 2026
10 of 11 checks passed
@irvingpop irvingpop deleted the irving/rework_docker branch January 25, 2026 22:10
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