Skip to content
Docker CI

port the counter example #33

Sign in to view logs

port the counter example

port the counter example #33

Triggered via pull request June 30, 2023 16:39
@clayratclayrat
synchronize #24
counter
Status Success
Total duration 6m 9s
Artifacts –

docker-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (mathcomp/mathcomp:1.17.0-coq-8.17): theories/options.v#L3
The default and global localities for this command outside sections