Skip to content
Build and profile and CoqDoc

GH pages coqdoc #3

Sign in to view logs

GH pages coqdoc

GH pages coqdoc #3

Triggered via push January 21, 2024 16:35
@h0nzZikh0nzZik
pushed a82f5b1
main
Status Success
Total duration 3m 44s
Artifacts –

build-and-profile.yml

on: push
build
3m 34s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.