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

Rename github CI firedrake job

parent 9bd1cac2
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment