build_pull_request

[CI] update code #1214

Sign in to view logs

Triggered via push January 8, 2024 23:13

hacl-bot

hacl-star-ed25519_docs_update

Status Cancelled

Total duration 8s

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-ed25519_docs_update' exists