Build and Test Dafny Standard Libraries

chore(deps): bump pozetroninc/github-action-get-latest-release from 0.5.0 to 0.8.0 #1

Sign in to view logs

Triggered via pull request July 12, 2024 14:00

dependabot[bot]

opened #1

dependabot/github_actions/pozetroninc/github-action-get-latest-release-0.8.0

Status Queued

Total duration –

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests