libre-chip/fayalite-deps
4
0
Fork 1
Code Issues Pull requests Projects Releases Packages 2 Wiki Activity Actions

Compare commits

base: libre-chip:master
Branches Tags
libre-chip:master
cesar:add-rocq-dep
cesar:master
..
compare: cesar:add-rocq-dep
Branches Tags
cesar:add-rocq-dep
cesar:master
libre-chip:master

No commits in common. "master" and "add-rocq-dep" have entirely different histories.
master ... add-rocq-d

1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Containerfile
View file

@ -47,7 +47,7 @@ RUN git clone --depth=1 --recursive --branch=0.45 https://git.libre-chip.org/mir
&& make install \
&& rm -rf /build
RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain 1.93.0 \
RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain 1.89.0 \
&& . "$HOME/.cargo/env" \
&& rustup component add rust-src
ENV PATH=/root/.cargo/bin:$PATH