Skip to content
Check the Agda files

Use the upstream version of the CI cache action #37

Sign in to view logs

Use the upstream version of the CI cache action

Use the upstream version of the CI cache action #37

Triggered via pull request January 21, 2024 12:20
@ibbemibbem
synchronize #15
update-CI-cache-action
Status Success
Total duration 16m 45s
Artifacts –

check.yml

on: pull_request
build
16m 33s
build
Fit to window
Zoom out
Zoom in