Skip to content
Snippets Groups Projects
Verified Commit 0f495c4d authored by Lennard Gäher's avatar Lennard Gäher
Browse files

update dockerfile to bookworm

parent f78fdfb7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
docker/Dockerfile
+ 1
− 1
View file @ 0f495c4d
# Keep distro in sync with CI builder! We run perf inside the container, needs to work with host kernel. # Keep distro in sync with CI builder! We run perf inside the container, needs to work with host kernel.
FROM debian:buster FROM debian:bookworm
# apt package installation # apt package installation
# gmp: needed by Coq # gmp: needed by Coq
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment