Skip to content

Conversation

@canova
Copy link
Member

@canova canova commented Nov 7, 2025

This PR is the attempt to migrate from CircleCI to GitHub Actions.

The most important thing is the docker publish flow. We should be very careful not to break it. One change I made was to change the image version tag.
Previously it was IMAGE_VERSION_TAG="0.0.${CIRCLE_BUILD_NUM}". but I've bumped the tag to IMAGE_VERSION_TAG="0.1.${{ github.run_number }}" to make sure they don't overlap.

It needs more testing related to how we generate docker images.

@canova
Copy link
Member Author

canova commented Nov 7, 2025

Huh weird, it didn't happen in the profiler repo, but I had to create a PR from this repo and not from my fork to be able to trigger the CI. Internet mentions that this is a security feature, but it should've work since I'm a maintainer.

@canova canova force-pushed the github-actions-migration branch from 9936d9d to 6b0b15b Compare November 7, 2025 13:14
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