Skip to content
Commit 155f4e63 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Github Firedrake CI: Actually fix ownership of /github/home

parent f64d02c7
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment