Build and push Docker image of latest FEniCS-dev

Build: #411 was successful Scheduled

Build result summary

Details

Completed
Duration
19 minutes
Labels
None
Agent
local agent #1
Revision
3b6cad871e2da2646bebfa4793167b635865b665 3b6cad871e2da2646bebfa4793167b635865b665
Successful since
#381 ()