.github/workflows/ci.yml

Companion PR for hacspec/hax#999 #1488

Sign in to view logs

Triggered via pull request October 14, 2024 14:33

W95Psp

opened #419

lf/companion-pr-hax-999

Status Success

Total duration 1m 15s

Artifacts –

ci.yml

on: pull_request

check_if_skip_duplicate_job

check-version-number