PR check

Oxidize prove_stdio.sh #1536

Sign in to view logs

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

Triggered via pull request December 1, 2024 00:29

sergerad

synchronize #809

sergerad:serge/oxidize-prove-stdio

Status Success

Total duration 16s

Artifacts –

pr_checking.yml

on: pull_request