Skip to content
Check the Agda files

Merge pull request #15 from pmbittner/update-CI-cache-action #38

Sign in to view logs

Merge pull request #15 from pmbittner/update-CI-cache-action

Merge pull request #15 from pmbittner/update-CI-cache-action #38

Triggered via push January 24, 2024 14:07
@pmbittnerpmbittner
pushed 0396be0
develop
Status Success
Total duration 14m 41s
Artifacts –

check.yml

on: push
build
14m 29s
build
Fit to window
Zoom out
Zoom in