Small maintenance of GitHub workflows (#483)

This commit is contained in:
Johannes Schneider 2025-04-10 09:30:50 +02:00 committed by GitHub
parent d8d4f86cc2
commit 09fa3be7a0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 3 deletions

View file

@ -3,7 +3,7 @@ name: Build code on Linux
on:
push:
pull_request:
types: [opened]
types: [opened, synchronize, reopened]
jobs:
linux:

View file

@ -1,9 +1,9 @@
name: Build Code
name: Build code
on:
push:
pull_request:
types: [opened]
types: [opened, synchronize, reopened]
env:
VMA_VULKAN_VERSION: "1.3.283.0"