Skip to content
Cryptol

Use GITHUB_TOKEN secret when fetching to avoid rate limiting #3004

Sign in to view logs

Use GITHUB_TOKEN secret when fetching to avoid rate limiting

Use GITHUB_TOKEN secret when fetching to avoid rate limiting #3004

test (test-lib, suiteb, ubuntu-22.04, false)

test (test-lib, suiteb, ubuntu-22.04, false)
succeeded Jan 3, 2025 in 7m 13s