Build and push Docker image of latest FEniCS-dev

Build: #538 was successful Scheduled

Build result summary

Details

Completed
Duration
22 minutes
Labels
None
Agent
local agent #2
Revision
dabfa5d0a4ef5ff7992dec0e20f3b740f1bb702f dabfa5d0a4ef5ff7992dec0e20f3b740f1bb702f
Successful since
#517 ()