try to fix coqdoc emphasis #30
Villetaneusedocker-action.yml
on: pull_request
build
2m 9s
deploy
0s
Annotations
4 warnings
|
build
Command "Restart." is not recommended in batch mode. In particular,
|
|
build
Command "Restart." is not recommended in batch mode. In particular,
|
|
build
Command "Restart." is not recommended in batch mode. In particular,
|
|
build
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
artifact
Expired
|
58.2 MB |
|