Skip to content
Build and profile and CoqDoc

Nicer benchmarks 3 #419

Sign in to view logs

Nicer benchmarks 3

Nicer benchmarks 3 #419

Triggered via pull request June 29, 2024 16:55
@h0nzZikh0nzZik
opened #24
nicer-benchmarks-3
Status Cancelled
Total duration 1m 40s
Artifacts –

build-and-profile.yml

on: pull_request
build
build
package
package
deploy
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build and profile and CoqDoc
Canceling since a higher priority waiting request for 'pages' exists