Skip to content
Snippets Groups Projects
Commit dd01c458 authored by Samuel Hym's avatar Samuel Hym
Browse files

CI: Update the debian version 

Follow the update of the Coq docker image to Debian Bullseye
parent 8259a690
No related branches found
No related tags found
No related merge requests found
Pipeline #17142 failed
Stage: build
Stage: test
Show whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
.ci/sources.list
+ 2
− 2
View file @ dd01c458
deb http://debian.polytech-lille.fr/debian buster main
deb http://debian.polytech-lille.fr/debian buster-updates main
deb http://debian.polytech-lille.fr/debian bullseye main
deb http://debian.polytech-lille.fr/debian bullseye-updates main
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment