CI: only on push to main

This commit is contained in:
Simon Cruanes 2023-12-14 10:13:15 -05:00
parent 936c74ea36
commit 8164ae55b8
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -3,6 +3,8 @@ name: build
on: on:
pull_request: pull_request:
push: push:
branches:
- main
jobs: jobs:
build: build: