reflect latest changes in coq in paper #95
samvangbuild_docs.yml
on: push
Build docs
14m 15s
deploy
12s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
benchmark
|
1.13 KB |
|
|
build-time
|
1.66 KB |
|
|
docs-artifact
|
2.21 MB |
|