Build and push Docker image of latest FEniCS-dev

Build: #485 was successful Scheduled

Build result summary

Details

Completed
Duration
20 minutes
Labels
None
Agent
local #6
Revision
1bec7f2a0c75d512059709bcafdd0019044c18b4 1bec7f2a0c75d512059709bcafdd0019044c18b4
Successful since
#462 ()