Skip to content

Update promotion.rst to explain mode promote #29086

Update promotion.rst to explain mode promote

Update promotion.rst to explain mode promote #29086

This workflow is awaiting approval from a maintainer in #11122
Triggered via pull request November 19, 2024 20:45
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #11122

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: Coverage
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