Skip to content

Dockerize CI#148

Merged
simonlechner merged 2 commits into
mainfrom
simon/dockerize-CI
Nov 13, 2025
Merged

Dockerize CI#148
simonlechner merged 2 commits into
mainfrom
simon/dockerize-CI

Conversation

@simonlechner

@simonlechner simonlechner commented Nov 4, 2025

Copy link
Copy Markdown
Collaborator

Just like sonic and carmen, tosca⁣ is also updating its CI to run inside a docker container.
Further, github workflows which are duplicated inside jenkins are removed.

@simonlechner
simonlechner force-pushed the simon/dockerize-CI branch 7 times, most recently from b954032 to 17b8299 Compare November 6, 2025 08:12
@codecov

codecov Bot commented Nov 6, 2025

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
see 92 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@simonlechner
simonlechner force-pushed the simon/dockerize-CI branch 2 times, most recently from 9da26b5 to ddc3804 Compare November 6, 2025 08:54
@simonlechner simonlechner changed the title WIP Dockerize CI Nov 6, 2025
LuisPH3
LuisPH3 previously approved these changes Nov 7, 2025

@LuisPH3 LuisPH3 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

Comment thread cpp/vm/evmzero/interpreter.cc Outdated
Comment thread Jenkinsfile
Comment thread cpp/vm/evmzero/interpreter.cc
Comment thread CI/Dockerfile.jenkins Outdated
wsodsong
wsodsong previously approved these changes Nov 12, 2025
@simonlechner
simonlechner force-pushed the simon/dockerize-CI branch 5 times, most recently from de528a2 to 6a28aec Compare November 13, 2025 13:27
@simonlechner
simonlechner requested a review from LuisPH3 November 13, 2025 14:18
@simonlechner
simonlechner merged commit 0f795c5 into main Nov 13, 2025
12 checks passed
@simonlechner
simonlechner deleted the simon/dockerize-CI branch November 13, 2025 15:31
@simonlechner simonlechner mentioned this pull request Nov 14, 2025
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.

3 participants