don't build on every push

This commit is contained in:
Sanjay Chacku Purakal 2024-04-24 12:58:53 +02:00 committed by GitHub
parent 005e1c3e15
commit 4aa9869c1d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,8 +1,9 @@
name: CI name: CI
on: on:
push: workflow_dispatch: # allows manual triggering
pull_request: schedule:
- cron: '5 0 * * 6' # runs weekly on Saturday at 00:05 (give time for flake lock update)
env: env:
TARGET_FLAKE: github:${{ github.repository }}/${{ inputs.sha || github.sha }} TARGET_FLAKE: github:${{ github.repository }}/${{ inputs.sha || github.sha }}