Commit 95168a2

authored

chore(rust): use Dafny 4.10.0 for Rust codegen (#1995)

1 parent 4d16a62 commit 95168a2Copy full SHA for 95168a2

File tree

-2

lines changed

-2

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,7 @@ jobs:`
`70`	`70`	`- name: Setup Dafny`
`71`	`71`	`uses: ./submodules/MaterialProviders/.github/actions/setup_dafny/`
`72`	`72`	`with:`
`73`		`- dafny-version: nightly-2025年01月30日-7db1e5f`
	`73`	`+ dafny-version: 4.10.0`
`74`	`74`
`75`	`75`	`- name: Update MPL submodule if using MPL HEAD`
`76`	`76`	`if: ${{ inputs.mpl-head == true }}`

Comments

(0)