Skip to content
Run Backend CI

Test infrastructure for --counterexample=variables tests for both backends #893

Sign in to view logs

Test infrastructure for --counterexample=variables tests for both backends

Test infrastructure for --counterexample=variables tests for both backends #893

Triggered via pull request April 23, 2025 11:35
@marcoeilersmarcoeilers
synchronize #864
Status Success
Total duration 20m 3s
Artifacts –

carbon_silicon_ci.yml

on: pull_request_target
Matrix: run_ci
Fit to window
Zoom out
Zoom in