maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems
MIT License
219 stars 46 forks source link

Random performanceTest.wls failure "git tree must be clean" #573

Closed maxitg closed 3 years ago

maxitg commented 3 years ago

The problem

Performance Test step sometimes fails on CI with "Current git tree must be clean.": example

#!/bin/bash -eo pipefail
./performanceTest.wls master @HEAD 2
Current git tree must be clean.
The product exited because an error occurred. For a product older than 12.1, this can mean that the product is unregistered.

Exited with code exit status 1
CircleCI received exit code 1
aokellermann commented 3 years ago

@maxitg what does @HEAD mean? @ is a synonym for HEAD I believe, so this looks wrong to me.

maxitg commented 3 years ago

This issue has never happened since then, however, ./performanceTest.wls is indeed broken in this case because it fails with HEAD and silently fails with @HEAD by running the tests on the same branch again (so the performance report is always at zero).