Skip to content

Files

Latest commit

 

History

History

stormpy-service-api

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 

Stormpy Service API

Pull

docker pull --platform linux/amd64 movesrwth/stormpy:ci

Build

docker build --platform linux/amd64 -t dgbtechnologies/stormpy-service-api:latest . --no-cache

Push

docker push dgbtechnologies/stormpy-service-api:latest