Build and push Docker image of latest FEniCS-dev

Build: #621 was successful Scheduled

Build result summary

Details

Completed
Duration
22 minutes
Labels
None
Agent
local #4
Revision
0259c845d9bc3072f4aeb8adbb4bd1a80fb359dd 0259c845d9bc3072f4aeb8adbb4bd1a80fb359dd
Successful since
#590 ()