possibly retrieve stats via the ortoolscallback used in cpsat solvers… #1054
g-povedabuild.yml
on: push
trigger
0s
linters
35s
Matrix: test
deploy-doc
/
trigger-binder-build
41s
deploy-doc
/
update-doc-versions
9s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
coverage
|
2.05 MB |
|
|
dist
|
1.5 MB |
|
|
doc
|
9.08 MB |
|