Add a workflow_dispatch for running timing diffs on CI (#2022) #903

# to view logs

Triggered via push March 3, 2025 23:17

JasonGross

master

Status In progress

Total duration –

Artifacts 2

coq-alpine.yml

on: push

Matrix: build

Matrix: test-standalone

Waiting for pending jobs

Produced during runtime

Name	Size
ExtractionOCaml-edge	342 MB
standalone-edge	7.6 MB