mirror of
https://github.com/stenzek/duckstation.git
synced 2026-02-04 05:04:33 +00:00
[PR #3101] [CLOSED] CI: Add lint of GameDB #1603
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/stenzek/duckstation/pull/3101
Author: @stenzek
Created: 1/25/2024
Status: ❌ Closed
Base:
master← Head:wip2📝 Commits (3)
0218239CPU/NewRec/AArch32: Fix double conditionb6aad38GameDB: Fix duplicated key20a4b25CI: Add lint of GameDB📊 Changes
3 files changed (+52 additions, -31 deletions)
View changed files
➕
.github/workflows/gamedb-lint.yml(+33 -0)📝
data/resources/gamedb.json(+17 -29)📝
src/core/cpu_newrec_compiler_aarch32.cpp(+2 -2)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.