chore(CI): Fix nightly build workflow (#1541)

robin-aws · web-flow · commit 48d69ebeda1e · 2025-05-27T14:14:16.000-07:00
I turned off running the format check but didn't remove it from a needs list. :P Also added three missing ones.
diff --git a/.github/workflows/nightly_dafny.yml b/.github/workflows/nightly_dafny.yml
@@ -63,10 +63,12 @@ jobs:
       contents: read
     needs:
       [
-        dafny-nightly-format,
         dafny-nightly-verification,
         dafny-nightly-java,
         dafny-nightly-net,
+        dafny-nightly-rust,
+        dafny-nightly-python,
+        dafny-nightly-go,
       ]
     if: ${{ always() && contains(needs.*.result, 'failure') }}
     steps:

Original file line number	Diff line number	Diff line change
`@@ -63,10 +63,12 @@ jobs:`
`63`	`63`	`contents: read`
`64`	`64`	`needs:`
`65`	`65`	`[`
`66`		`- dafny-nightly-format,`
`67`	`66`	`dafny-nightly-verification,`
`68`	`67`	`dafny-nightly-java,`
`69`	`68`	`dafny-nightly-net,`
	`69`	`+ dafny-nightly-rust,`
	`70`	`+ dafny-nightly-python,`
	`71`	`+ dafny-nightly-go,`
`70`	`72`	`]`
`71`	`73`	`if: ${{ always() && contains(needs.*.result, 'failure') }}`
`72`	`74`	`steps:`