Grab bag of small repo cleanup changes - Githubissues

rems-project / cn-tutorial

8 stars 8 forks source link

Grab bag of small repo cleanup changes #52

Closed septract closed 4 months ago

septract commented 4 months ago

Moved wrongly located example (per @scuellar)
Remove old annotated tutorial versions
Used the cn verify subcommand in scripts

cp526 commented 4 months ago

@dc-mak has just done the cn verify part: https://github.com/rems-project/cn-tutorial/commit/86d90d8a124f0ce12c81801a3f08055e587f6b3c

septract commented 4 months ago

@cp526 I've rolled back the conflicting change. I think this is ready to merge.