.github/workflows/ci.yml

feat: progress? to say which theorem has been used (#277) #1198

Sign in to view logs

Triggered via push July 5, 2024 13:25

sonmarcho

main

Status Success

Total duration 17m 41s

Artifacts –

ci.yml

on: push

check_if_skip_duplicate_job

check-charon-pin