Skip to content

Really fix top of fullscreen window being cut off in GNOME #712

Really fix top of fullscreen window being cut off in GNOME

Really fix top of fullscreen window being cut off in GNOME #712

Workflow file for this run

name: Linux
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install dependencies
run: |
sudo apt update
sudo apt install libgl1-mesa-dev libfreetype6-dev libfontconfig1-dev libxxf86vm-dev libpng-dev libvorbis-dev libopenal-dev g++ libwebp-dev git libsdl2-dev ninja-build
- name: Build with CMake and GCC
run: |
cmake -Bbuild -H. -GNinja
ninja -Cbuild