Skip to content

Docker, GitHub Actions, and Dev Tools #24

Docker, GitHub Actions, and Dev Tools

Docker, GitHub Actions, and Dev Tools #24

Workflow file for this run

name: build
on:
push:
branches:
- main
pull_request:
jobs:
docker-build:
name: Build
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
# with:
# ref: ${{ github.ref }}
# fetch-depth: 0
- name: Create .env file with NO_GIT
run: echo "NO_GIT=true" > .env
- name: Run docker-build.sh
run: |
./docker-build.sh
- name: Change repo ownership to user
run: |
docker compose exec robosub-ros2 sudo chown -R $USER:$USER /root/dev/robosub-ros2
- name: Linter
run: |
docker compose exec robosub-ros2 /root/dev/venv/bin/python3 /root/dev/robosub-ros2/lint.py --print-success --sorted --github-action
- name: Build ROS2
run: |
docker compose exec robosub-ros2 bash /root/dev/robosub-ros2/.github/workflows/build.sh