PR check

Oxidize prove_stdio.sh #1535

Sign in to view logs

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

Triggered via pull request November 30, 2024 08:47

sergerad

synchronize #809

sergerad:serge/oxidize-prove-stdio

Status Success

Total duration 16s

Artifacts –

pr_checking.yml

on: pull_request