Bump actions/checkout from 3 to 4 #17

Sign in to view logs

Summary
Jobs
- MIRI
Run details
- Usage
- Workflow file

Triggered via pull request September 5, 2023 11:01

dependabot[bot]

opened #51

dependabot/github_actions/actions/checkout-4

Status Success

Total duration 6m 31s

Artifacts –

miri.yaml

on: pull_request