Skip to content

Commit be32c7d

Browse files
committed
Upgrade the benchmark's base image to Debian 12
1 parent 3f88d96 commit be32c7d

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

bench.Dockerfile

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FROM debian:bullseye
1+
FROM debian:12
22
RUN apt-get update -qq && apt-get install -qq -yy make curl gcc g++ patch bzip2 git unzip
33
RUN adduser --disabled-password --gecos '' --shell /bin/bash opam
44
ENV OPAMREPOSHA 26770281fa1ea8b13aab979c1dfbd326e9ab512c

master_changes.md

+1
Original file line numberDiff line numberDiff line change
@@ -179,6 +179,7 @@ users)
179179
## Benchmarks
180180
* Add benchmarks for `opam show` [#6212 @kit-ty-kate]
181181
* Add benchmarks for `OpamStd.String.split` [#6212 @kit-ty-kate]
182+
* Upgrade the base image to Debian 12 [#6443 @kit-ty-kate]
182183

183184
## Reftests
184185
### Tests

0 commit comments

Comments
 (0)