Build and Publish Docker Image

Finish the formal verification effort (#56) #6

Sign in to view logs

Triggered via push January 28, 2024 20:37

kustosz

master

Status Success

Total duration 5m 41s

Artifacts –

release_docker.yml

on: push