Build and push Docker image of latest FEniCS-dev

Build: #468 was successful Scheduled

Build result summary

Details

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