Skip to content
Snippets Groups Projects
Commit a90d0dcc authored by Administrator's avatar Administrator
Browse files

Fix CI pipline 

The OS of run4 was upgraded to Debian12 so we need to update the CI runner on
that machine.
parent 19971d11
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 6 deletions
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