Skip to content

Merge pull request #19 from spytheman/vdoc_workaround #18

Merge pull request #19 from spytheman/vdoc_workaround

Merge pull request #19 from spytheman/vdoc_workaround #18

Workflow file for this run

name: CI Checks
on:
push:
paths:
- "**.v"
- "**.vsh"
- "**.md"
- "**/ci.yml"
pull_request:
paths:
- "**.v"
- "**.vsh"
- "**.md"
- "**/ci.yml"
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
cancel-in-progress: true
jobs:
linting:
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- name: Install V
id: install-v
uses: vlang/setup-v@v1.4
with:
check-latest: true
- name: Checkout the gui module
uses: actions/checkout@v4
with:
path: gui
- name: Verify formatting
run: v fmt -verify -inprocess gui/
- name: Check formatting of MD files
run: v check-md gui/
- name: Check compilation of examples
run: v gui/examples/_check.vsh
compiling-with-prod:
runs-on: ubuntu-latest
timeout-minutes: 20
steps:
- name: Install V
id: install-v
uses: vlang/setup-v@v1.4
with:
check-latest: true
- name: Install X11/GL development dependencies (headers and libs)
run: v retry -- sudo apt install libgl1-mesa-dri xvfb libxcursor-dev libxi-dev libxrandr-dev freeglut3-dev
- name: Checkout the gui module
uses: actions/checkout@v4
with:
path: gui
- name: Check compilation of examples with -prod
run: v gui/examples/_build.vsh