build_pull_request

[CI] update code #1540

Sign in to view logs

Triggered via push October 15, 2024 15:25

hacl-bot

hacl-star-protz_cite

Status Cancelled

Total duration 16s

Artifacts –

build_pull_request.yml

on: push

Matrix: android

Waiting for pending jobs

Matrix: linux

Waiting for pending jobs

Matrix: macos

Waiting for pending jobs

Matrix: windows

Waiting for pending jobs

Annotations

1 error

build_pull_request

Canceling since a higher priority waiting request for 'build_pull_request-refs/heads/hacl-star-protz_cite' exists