Skip to content
Scala CI

Disallow asserting expressions in axioms #1114

Sign in to view logs

Disallow asserting expressions in axioms

Disallow asserting expressions in axioms #1114

Triggered via pull request March 19, 2025 16:44
@marcoeilersmarcoeilers
opened #858
meilers_disallow_asserting_in_axioms
Status Success
Total duration 6m 16s
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.24 MB
sha256:b9d61e39510f70568ed300f2909b59c195af4683d4fcf574ba6c26df96381139