Skip to content

Merge remote-tracking branch 'origin/main' into pre-NERD #2173

Merge remote-tracking branch 'origin/main' into pre-NERD

Merge remote-tracking branch 'origin/main' into pre-NERD #2173

Workflow file for this run

name: Build
on:
push:
pull_request:
jobs:
build:
name: Build
runs-on: ubuntu-latest
container: wpilib/roborio-cross-ubuntu:2023-22.04
steps:
- name: Checkout repository
uses: actions/checkout@v2
- name: Validate Gradle wrapper
uses: gradle/[email protected]
- name: Grant execute permission
run: chmod +x gradlew
- name: Build with Gradle
uses: gradle/[email protected]
with:
arguments: build -x spotlessApply