Skip to content

Automate proof script: add JBang CI runner for proof/ scripts#113

Closed
brunoborges with Copilot wants to merge 37 commits into
slug-prooffrom
copilot/automate-proof-script
Closed

Automate proof script: add JBang CI runner for proof/ scripts#113
brunoborges with Copilot wants to merge 37 commits into
slug-prooffrom
copilot/automate-proof-script

Rework proof script to use existing proof/ Java files instead of YAML…

2564051
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar