Skip to content
NewTools

Integrating assertion rewriting (2nd attempt) #961

Sign in to view logs

Integrating assertion rewriting (2nd attempt)

Integrating assertion rewriting (2nd attempt) #961

Triggered via pull request November 24, 2023 09:56
@adri09070adri09070
opened #626
adri09070:assertion-rewriting
Status Success
Total duration 1m 21s
Artifacts –

newtools.yml

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