Skip to content

First tests completed about clock predicate abstraction #170

First tests completed about clock predicate abstraction

First tests completed about clock predicate abstraction #170

Workflow file for this run

name: CI-static
on:
workflow_dispatch:
workflow_call:
jobs: