HOL-Light

Bump actions/checkout from 5.0.0 to 6.0.1 #45

Sign in to view logs

Triggered via pull request January 1, 2026 12:16

dependabot[bot]

opened #831

dependabot/github_actions/actions/checkout-6.0.1

Status Success

Total duration 2h 9m 37s

Artifacts –

hol_light.yml

on: pull_request

HOL-Light bytecode check

HOL-Light interactive shell test

Matrix: hol_light_proofs