Skip to content
Scala CI

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

Sign in to view logs

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

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

Triggered via pull request April 23, 2025 11:26
@marcoeilersmarcoeilers
synchronize #864
meilers_ce_values_test
Status Success
Total duration 6m 51s
Artifacts 1

scala.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact
8.27 MB
sha256:73cd849ddee4975aea79212dc7c48f73d02ff17e19d15ca8ffa8cb1251a0c7d7