Docker

Add support for STP and Yices2 (#273) #104

Sign in to view logs

Summary
Jobs
- docker
Run details
- Usage
- Workflow file

Triggered via push December 14, 2023 21:43

sorawee

master

Status Success

Total duration 6m 3s

Artifacts –

docker.yml

on: push