Removing changes from test-pr.yml

F-WRunTime · F-WRunTime · commit 6ee3afbde650 · 2026-01-05T14:17:52.000-07:00
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -462,4 +462,3 @@ jobs:
           path: homebrew-k/Formula/kframework.rb
           retention-days: 1
 
-  

Original file line number	Diff line number	Diff line change
`@@ -462,4 +462,3 @@ jobs:`
`462`	`462`	`path: homebrew-k/Formula/kframework.rb`
`463`	`463`	`retention-days: 1`
`464`	`464`
`465`		`-`