Test Dockerfiles

Expose ProofBuilder in LogStateTracker #9

Sign in to view logs

Summary
Jobs
- docker_build
Run details
- Usage
- Workflow file

Triggered via pull request September 21, 2023 14:41

AlCutter

synchronize #8

AlCutter:add_proofbuilder

Status Success

Total duration 35s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker_build.yml

on: pull_request