Skip to content
NewTools

Integrating assertion rewriting (2nd attempt) #974

Sign in to view logs

Integrating assertion rewriting (2nd attempt)

Integrating assertion rewriting (2nd attempt) #974

Triggered via pull request November 30, 2023 09:27
@adri09070adri09070
synchronize #626
adri09070:assertion-rewriting
Status Success
Total duration 1m 29s
Artifacts –

newtools.yml

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