build

Integration of E-ACSL specification language in owi #1330

Sign in to view logs

Re-run triggered July 23, 2024 08:37

zapashcanon

#324

Laplace-Demon:eacsl

Status Failure

Total duration 2m 47s

Artifacts –

build.yml

on: pull_request

Matrix: build

Annotations

2 errors

build (ubuntu-latest, 5.2)

Process completed with exit code 10.

build (ubuntu-latest, 5.1)

Process completed with exit code 10.