Create repo automation tools

ku-sldg / am-cakeml

Delivery repo for the KU CakeML Attestation Manager

GNU General Public License v3.0

1 stars 0 forks source link

Open Durbatuluk1701 opened 11 months ago

Durbatuluk1701 commented 11 months ago

Repo Automation Tools:

[ ] Auto-run of a test suite
[ ] Require test suite completion before merge
- copland-avm: _CoqProject compiles
- am-cakeml: all test scripts in /tests succeed
[x] Protect master branch so only PR can merge
[x] PR's can only merge after at least 1 reviewer