Activity
Specify built from the release branch
Specify built from the release branch
Remove keepalive workflow as it is no longer allowed
Remove keepalive workflow as it is no longer allowed
Point to release branch
Point to release branch
Amend workflow now that docdeps is going away
Amend workflow now that docdeps is going away
Amend workflow now that docdeps is going away
Amend workflow now that docdeps is going away
Automated commit by Keepalive Workflow to keep the repository active
Automated commit by Keepalive Workflow to keep the repository active
Actually remove firedrake
Actually remove firedrake
DO NOT MERGE, cheeky tweak
DO NOT MERGE, cheeky tweak
use other container
use other container
try specifying platform
try specifying platform