Skip to content
Formal Verification Plugin CI

Create Github action for CI #7

Sign in to view logs

Create Github action for CI

Create Github action for CI #7

Triggered via pull request September 19, 2023 07:39
@nilscrmnilscrm
synchronize #86
github-ci
Status Failure
Total duration 33m 56s
Artifacts –

gradle.yml

on: pull_request
build
33m 45s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.