Specify the dependencies on other Isabelle sessions #219
jeltschquick-and-dirty-build.yaml
on: push
quick-and-dirty-build
5m 21s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
document
Expired
|
669 KB |
|