List view

Build cache should consider changes to the compiler

[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.

Status: Open.

#2229 In model-checking/kani;

· celinval opened on Feb 23, 2023

Add a test that the build cache is sensitive to different Kani versions

[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.

Status: Open.

#2231 In model-checking/kani;

· celinval opened on Feb 23, 2023