build Paynt wrt. vanilla Stormpy #63

Sign in to view logs

Triggered via push December 21, 2023 09:01

randriu

master

Status Success

Total duration 9m 12s

Artifacts –

buildtest.yml

on: push

Matrix: deploy