Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(sp1-build): default docker tag #1693

Open
wants to merge 14 commits into
base: main
Choose a base branch
from

Conversation

ratankaliani
Copy link
Member

@ratankaliani ratankaliani commented Oct 24, 2024

Overview

The default Docker tag for SP1 was incorrectly set to latest, which caused issues due to caching. The latest tag doesn’t guarantee users will get the most up-to-date container, as their Docker daemon may use a cached version. This caused problems, like outdated dependencies, such as the Rust toolchain (v1.75).

Fixes

  • Create SP1_CIRCUIT_VERSION str file. Whenever we do a new release, SP1_CIRCUIT_VERSION should be updated.
  • Fix the documentation to point to SP1 3.0.0 rather than 2.0.0.

Source

I detected this issue because the Rust toolchain version inside of this container was quite outdated (1.75), so some of my dependencies were failing to build because of their MSRV.

Every time we push to main, this workflow releases a tag called main, as well as a release for the corresponding version tag.

- name: Finalize Docker Metadata
id: docker_tagging
run: |
if [[ "${{ github.event_name }}" == 'schedule' ]]; then
echo "cron trigger, assigning nightly tag"
echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:nightly,${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:nightly-${GITHUB_SHA}" >> $GITHUB_OUTPUT
elif [[ "${GITHUB_REF##*/}" == "main" ]] || [[ ${GITHUB_REF##*/} == "master" ]]; then
echo "manual trigger from master/main branch, assigning latest tag"
echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${GITHUB_REF##*/},${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:latest" >> $GITHUB_OUTPUT
else
echo "Neither scheduled nor manual release from main branch. Just tagging as branch name"
echo "docker_tags=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${GITHUB_REF##*/}" >> $GITHUB_OUTPUT
fi

@ratankaliani ratankaliani changed the title fix: default tag fix(sp1-build): default docker tag Oct 24, 2024
Copy link

github-actions bot commented Oct 24, 2024

SP1 Performance Test Results

Branch: ratan/fix-default-docker-tag
Commit: 1cc09011
Author: ratankaliani

program cycles execute (mHz) core (kHZ) compress (KHz) time success
fibonacci 11291 0.16 2.82 0.46 25s
ssz-withdrawals 2757356 10.33 116.77 38.53 1m12s
tendermint 12593597 5.32 239.43 106.39 2m1s

@ratankaliani ratankaliani changed the base branch from dev to main October 30, 2024 18:51
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