Make

build(deps): bump actions/checkout from 3 to 4 #32

Sign in to view logs

Triggered via pull request November 8, 2023 02:02

dependabot[bot]

opened #24

dependabot/github_actions/actions/checkout-4

Status Success

Total duration 15s

Artifacts –

regenerate-everything.yaml

on: pull_request

Everything.agda