Skip to content
Back to pull request #1213

Bump actions/checkout from 4 to 6 #78

Sign in to view logs

Bump actions/checkout from 4 to 6

Bump actions/checkout from 4 to 6 #78

metarocq-template-rocq

metarocq-template-rocq
succeeded Dec 10, 2025 in 2m 35s