Weekly Builds of KeY #25
wadoonAnnotations
1 warning
|
build:
keyext.api/src/main/java/org/keyproject/key/api/data/ProofNodeDescription.java#L10
[serial] serializable class ProofNodeDescription has no definition of serialVersionUID
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
783 KB |
sha256:affc340a577158433a0e9b2ae04f8461a7b16a6838d01fc3f221a722b704d323
|
|