Linux: on every PR, run make -C deps USE_BINARYBUILDER=0 and make sure that the working directory is clean

[DilumAluthge]

This lets us catch checksum issues a little bit earlier, so that we don't have to wait for the scheduled from-source build.

[DilumAluthge]

This will fail until JuliaLang/julia#47763 is merged.

[DilumAluthge]

Idea: instead of doing this on each platform, just do make -f contrib/refresh-checksums.mk once on a single platform? Would that cover the checksums for all platforms?

[staticfloat]

Yes, just rerun the check…. But IMO we shouldn’t run this on every job. That will hit upstream servers needlessly. We should only run it if a checksum file has been changed.

[DilumAluthge]

We've talked a lot about having jobs that are only triggered when certain files are in the PR diff. I think this job could be a nice guinea pig for us to try that out?

I guess we basically need to get the PR diff, and then if anything under deps is modified, we launch this job, but otherwise, we don't launch it.

How do we get the PR diff? If we get it from the GitHub API, then we'll need to use a GitHub personal access token to avoid being rate-limited, and thus we'll need to make the "PR diff" job a signed job.

[giordano]

How do we get the PR diff?

#243 (comment)