Skip to content
Commit 098f8f02 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Firedrake CI: Convince apt to actually install

parent 78ee5444