Skip to content

chore(CI): fix dafny_interop to setup_net #690

chore(CI): fix dafny_interop to setup_net

chore(CI): fix dafny_interop to setup_net #690

Triggered via pull request February 5, 2026 22:40
@lucasmcdonald3lucasmcdonald3
submitted #1965
Status Success
Total duration 12s
Artifacts

smithy-diff.yml

on: pull_request_review
require-approvals
8s
require-approvals
Fit to window
Zoom out
Zoom in