@@ -3,10 +3,9 @@ name: CI
on:
push:
pull_request:
+ workflow_dispatch:
schedule:
- cron: "0 0 * * *"
- branches:
- - master
jobs:
testsuite:
Mark Sch