Remove deprecated input server-url (#607)

This commit is contained in:
Kevin Stillhammer authored and GitHub committed 2025-10-03 19:48:56 +02:00
1 parent 59a0868fea
commit d9ee7e2f26
6 files changed
+15 -48

No files matched your search

-1
View File
@@ -20,7 +20,6 @@ export const ignoreEmptyWorkdir =
core.getInput("ignore-empty-workdir") === "true";
export const toolBinDir = getToolBinDir();
export const toolDir = getToolDir();
export const serverUrl = core.getInput("server-url");
export const githubToken = core.getInput("github-token");
export const manifestFile = getManifestFile();
export const addProblemMatchers =