Closed mjambon closed 6 months ago
Will be visible at https://semgrep.github.io/testo/tutorial/ after merging.
make doc will check that the provided script run-tutorial works. There is no CI check for it yet.
make doc
run-tutorial
PR checklist:
CHANGES.md
Check out CONTRIBUTING.md for more details.
CONTRIBUTING.md
Will be visible at https://semgrep.github.io/testo/tutorial/ after merging.
make doc
will check that the provided scriptrun-tutorial
works. There is no CI check for it yet.PR checklist:
CHANGES.md
for any user-facing changeCheck out
CONTRIBUTING.md
for more details.