Backed out changeset fe8d0f4da0e6
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE76dbf39a708d: jenkins: add pre/post-hook results for benchmark
- Branches
- Unknown
- Tags
- Reverts
- rISABELLEfe8d0f4da0e6: remove SpecCheck; it is now part of the AFP
- Reverted By
- rISABELLEbf9871795aeb: Backed out changeset d4af818e0880