Skip to content
.github/workflows/CD-build.yml

First tests completed about clock predicate abstraction #65

Sign in to view logs

First tests completed about clock predicate abstraction

First tests completed about clock predicate abstraction #65

Triggered via push March 14, 2024 06:57
@kopero2000kopero2000
pushed fd1a5cd
xta-eager
Status Failure
Total duration –
Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Error
No jobs defined in `jobs`