Skip to content
Run Tests

Add proof validation to tactic mode #244

Sign in to view logs

Add proof validation to tactic mode

Add proof validation to tactic mode #244

This workflow is awaiting approval from a maintainer in #63
Triggered via pull request January 3, 2025 11:49
@augustepoirouxaugustepoiroux
opened #63
augustepoiroux:proof_validation
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #63

ci.yml

on: pull_request
test
test
Fit to window
Zoom out
Zoom in