Skip to content
Build Xen with CPROVER tools

Bump actions/checkout from 3 to 4 #8637

Sign in to view logs

Bump actions/checkout from 3 to 4

Bump actions/checkout from 3 to 4 #8637

Triggered via pull request December 18, 2023 14:03
@dependabotdependabot[bot]
opened #8117
dependabot/github_actions/actions/checkout-4
Status Success
Total duration 8m 31s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
8m 19s
CompileXen
Fit to window
Zoom out
Zoom in