PR check

Oxidize prove_stdio.sh #1534

Sign in to view logs

Summary
Jobs
- Validate PR
Run details
- Usage
- Workflow file

Triggered via pull request November 29, 2024 22:13

sergerad

opened #809

sergerad:serge/oxidize-prove-stdio

Status Success

Total duration 17s

Artifacts –

pr_checking.yml

on: pull_request