Skip to content
Run Tests

Add proof validation to tactic mode #256

Sign in to view logs

Add proof validation to tactic mode

Add proof validation to tactic mode #256

This workflow is awaiting approval from a maintainer in #63
Triggered via pull request January 8, 2025 08:44
@augustepoirouxaugustepoiroux
synchronize #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