Skip to content

Add basic github workflows #3

Add basic github workflows

Add basic github workflows #3

Workflow file for this run

name: Continues Integration (Master)
on:
workflow_dispatch:
push:
- main
schedule:
# “At 00:00 on every 7th day-of-month from 1 through 31.” (https://crontab.guru)
- cron: "0 0 1/7 * *"
jobs:
verify:
uses: ./.github/workflows/checks.yml