Skip to content
CI

build: support PROFILING and TIMED like coq_makefile #1065

Sign in to view logs

build: support PROFILING and TIMED like coq_makefile

build: support PROFILING and TIMED like coq_makefile #1065

This workflow is awaiting approval from a maintainer in #777
Triggered via pull request June 11, 2024 12:39
@SkySkimmerSkySkimmer
opened #777
SkySkimmer:make-profiling
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #777

coq-action.yml

on: pull_request
Matrix: build
Waiting for pending jobs
Matrix: test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in