.github/workflows/ci.yml

Companion PR for hacspec/hax#999 #1495

Sign in to view logs

Triggered via pull request October 14, 2024 21:37

Nadrieril

synchronize #419

lf/companion-pr-hax-999

Status Success

Total duration 59s

Artifacts –

ci.yml

on: pull_request

check_if_skip_duplicate_job

check-version-number