Skip to content

⬆️ Upgrade bb version #1144

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

Merged
merged 2 commits into from
May 12, 2025
Merged

⬆️ Upgrade bb version #1144

merged 2 commits into from
May 12, 2025

Conversation

maxgttph
Copy link
Contributor

@maxgttph maxgttph commented May 5, 2025

No description provided.

Copy link

codecov bot commented May 5, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

✅ All tests successful. No failed tests found.

@wraitii wraitii added this pull request to the merge queue May 6, 2025
github-merge-queue bot pushed a commit that referenced this pull request May 6, 2025
@@ -2,14 +2,11 @@ FROM rust:alpine AS builder
RUN apk add gcc musl-dev g++
RUN cargo install --version 2.0.0 risc0-r0vm

FROM alpine:latest
FROM ubuntu:24.04
Copy link
Member

Choose a reason for hiding this comment

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

Toute l'idée de ce Dockerfile ( nommé .alpine) c'est de pouvoir partir d'une base alpine et d'y builder les dépendances dont on a besoin pour pouvoir utiliser alpine comme base de hyle. Si on met ubuntu ici, autant basarder le fichier et installer r0vm & bbup directement dans le Dockerfile principal, mais je trouve ça dommage

@BertrandD BertrandD removed this pull request from the merge queue due to a manual request May 6, 2025
Copy link
Member

@BertrandD BertrandD left a comment

Choose a reason for hiding this comment

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

ok pour l'instant, en espérant pouvoir revenir à alpine plus tard

@BertrandD BertrandD merged commit 00c19b0 into main May 12, 2025
30 checks passed
@BertrandD BertrandD deleted the upgrade-bb branch May 12, 2025 14:50
BertrandD added a commit that referenced this pull request May 12, 2025
BertrandD added a commit that referenced this pull request May 12, 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