Skip to content
Check labels

Bump the HACL* revision. #169219

Sign in to view logs

Bump the HACL* revision.

Bump the HACL* revision. #169219

Triggered via pull request April 30, 2025 23:25
@freakboy3742freakboy3742
synchronize #133226
freakboy3742:hacl-update
Status Success
Total duration 9s
Artifacts –

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
1s
DO-NOT-MERGE
Unresolved review
2s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: skip issue, awaiting core review, skip news