Skip to content
CI

Shorter path for inline-tests #29795

Sign in to view logs

Shorter path for inline-tests

Shorter path for inline-tests #29795

Triggered via pull request January 27, 2025 08:56
@hhugohhugo
synchronize #11307
hhugo:shorter-path
Status Cancelled
Total duration 7s
Artifacts –

workflow.yml

on: pull_request
Build microbenchmarks
Build microbenchmarks
Build monorepo benchmark docker image
Build monorepo benchmark docker image
Coq 8.16.1
Coq 8.16.1
Documentation
Documentation
Format
Format
Wasm_of_ocaml
Wasm_of_ocaml
Matrix: Build
Waiting for pending jobs
Matrix: Create local opam switch
Waiting for pending jobs
Matrix: Nix
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI
Canceling since a higher priority waiting request for 'CI @ hhugo:shorter-path' exists