Skip to content
Agda

chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions… #816

Sign in to view logs

chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions…

chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions… #816

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 56s
cold-check
12m 4s
14m 0s