Regenerate patches following PR hacspec/hax#679 #661

Sign in to view logs

Summary
Jobs
- fmt
Run details
- Usage
- Workflow file

Triggered via pull request May 16, 2024 15:09

W95Psp

opened #281

hax-679

Status Success

Total duration 34s

Artifacts –

checks.yml

on: pull_request