Skip to content
.github/workflows/TR-master.yml

First tests completed about clock predicate abstraction #107

Sign in to view logs

First tests completed about clock predicate abstraction

First tests completed about clock predicate abstraction #107

Triggered via push October 31, 2023 18:36
@kopero2000kopero2000
pushed 3dc717f
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`