CI: Run on PRs and once a week#20

EwoutH wants to merge 1 commit intoNetLogo:mainNetLogo/Table-Extension:mainfrom

EwoutH:patch-1EwoutH/Table-Extension:patch-1Copy head branch name to clipboard