Check Release Files

chore(gha): fix workflows triggered by dafny-interop.yml #897

Sign in to view logs

Triggered via pull request January 27, 2025 19:36

opened #1598

rkapila/fix-dafny-interop-workflow

Status Success

Total duration 12s

Artifacts –

check-files.yml

on: pull_request

require-approvals