You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#378 (comment) is an example of a false positive that we currently struggle to suppress, due to limitations to UsesCoordinate's expressiveness.
In particular, we can't currently express a condition like "this action is only relevant if foo: Aandbar: Borbaz: /regexp/."
To express those kinds of sentential logic chains we'll need to generalize UsesCoordinate::control to be something like controls instead, where controls will be a boolean expression of different propositions (basic matches, but also regular expressions).
I'm currently considering this low-ish priority, since doing it right is (1) tricky, and (2) only (so far) benefits a niche case that we can't yet analyze anyways (since cache-from: type=gha,ref=${{ github.run_id }} isn't something we can analyze yet).
The text was updated successfully, but these errors were encountered:
#378 (comment) is an example of a false positive that we currently struggle to suppress, due to limitations to
UsesCoordinate
's expressiveness.In particular, we can't currently express a condition like "this action is only relevant if
foo: A
andbar: B
orbaz: /regexp/
."To express those kinds of sentential logic chains we'll need to generalize
UsesCoordinate::control
to be something likecontrols
instead, wherecontrols
will be a boolean expression of different propositions (basic matches, but also regular expressions).I'm currently considering this low-ish priority, since doing it right is (1) tricky, and (2) only (so far) benefits a niche case that we can't yet analyze anyways (since
cache-from: type=gha,ref=${{ github.run_id }}
isn't something we can analyze yet).The text was updated successfully, but these errors were encountered: