mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 22:03:33 -04:00
[PR #867] [MERGED] Part 2 of implementing hw survey #892
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/RPCS3/discord-bot/pull/867
Author: @13xforever
Created: 6/30/2022
Status: ✅ Merged
Merged: 6/30/2022
Merged by: @clienthax
Base:
master← Head:vnext📝 Commits (5)
b9307a3remove extra gpu maker from opengl gpu namesc1a2d0e!hw stats9b1d1fdadd hw.db backupc7710e8add warning to the gen-salt command now that it's actually used8f779a8Build release configuration for PRs as well📊 Changes
6 files changed (+289 additions, -15 deletions)
View changed files
📝
.github/workflows/dotnet.yml(+20 -2)📝
CompatBot/Commands/BotStats.cs(+39 -0)➕
CompatBot/Commands/Hardware.cs(+171 -0)📝
CompatBot/Commands/Sudo.cs(+37 -12)📝
CompatBot/Program.cs(+1 -0)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.cs(+21 -1)📄 Description
Fixes #861.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.