Specify the dependencies on other Isabelle sessions #228
jeltschquick-and-dirty-build.yaml
on: push
quick-and-dirty-build
6m 12s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
document
Expired
|
660 KB |
|