Skip to content
hax

Merging main into dev #1650

Sign in to view logs

Merging main into dev

Merging main into dev #1650

Triggered via pull request September 23, 2024 08:56
@franziskuskieferfranziskuskiefer
synchronize #593
ml-kem-merge-main
Status Failure
Total duration 5m 12s
Artifacts –

hax.yml

on: pull_request
hax
4m 59s
hax
Fit to window
Zoom out
Zoom in

Annotations

1 error
hax
Process completed with exit code 1.