search

antmicro / tuttest

A simple Python utility for extracting documentation snippets from tutorials.
Apache License 2.0
13 stars 2 forks source link

github actions: Don't run CI on push #27

Open tmichalak opened 3 years ago

tmichalak commented 3 years ago

Don't run CI on push. Do it only on PRs.