Skip to content
PR check

Oxidize prove_stdio.sh #1538

Sign in to view logs

Oxidize prove_stdio.sh

Oxidize prove_stdio.sh #1538

Triggered via pull request December 1, 2024 01:01
@sergeradsergerad
synchronize #809
sergerad:serge/oxidize-prove-stdio
Status Success
Total duration 17s
Artifacts –

pr_checking.yml

on: pull_request
Validate PR
7s
Validate PR
Fit to window
Zoom out
Zoom in