Build and push Docker image of latest FEniCS-dev

Build: #457 was successful Scheduled

Build result summary

Details

Completed
Duration
20 minutes
Labels
None
Agent
local agent #1
Revision
d8768359f248601dd7109a9043a78cc7028544c5 d8768359f248601dd7109a9043a78cc7028544c5
Successful since
#440 ()