Closed rbuch closed 2 years ago
I reenabled CI, but this still needs an empty commit or so to start the CI.
I reenabled CI, but this still needs an empty commit or so to start the CI.
Thanks, what was the issue, exactly?
I reenabled CI, but this still needs an empty commit or so to start the CI.
Thanks, what was the issue, exactly?
After 60 days without changes, github disables actions for some reason. You can reenable them here: https://github.com/UIUC-PPL/projections/actions/workflows/test.yml
I reenabled CI, but this still needs an empty commit or so to start the CI.
Thanks, what was the issue, exactly?
After 60 days without changes, github disables actions for some reason. You can reenable them here: https://github.com/UIUC-PPL/projections/actions/workflows/test.yml
Ah, interesting, I didn't know. Thanks for fixing it!
Previously, the default color mapping used in most tools resulted in consecutive entry methods having very similar colors. Now, it uses a hash of the entry method ID, resulting in an increased likelihood of perceptible difference between consecutive entry methods.