rems-project / cn-tutorial

7 stars 8 forks source link

Add a script `check-all.sh` to check all examples in `example-archive` #30

Closed septract closed 2 months ago

septract commented 2 months ago

This PR:

Rationale: the current cerberus CI script here only runs a subset of the example directories. As a result, several examples have been missed. The check-all.sh script should be a more robust way of handling this since we can just update it without modifying the cerberus repo.

Note that new subdirectories must be added to the list embedded into check-all.sh

septract commented 2 months ago

@dc-mak once you have reviewed and merged this, can you modify this script in the cerberus repo to point to it?