Skip to content

Update GitHub workflow #1

Update GitHub workflow

Update GitHub workflow #1

Workflow file for this run

---
name: Build
on: # yamllint disable-line rule:truthy
push:
branches:
- master
tags:
- "release-*.*.*"
pull_request:
branches:
- master
jobs:
build:
uses: metaborg/actions/.github/workflows/gradle-build-matrix.yaml@main