bump to buildkit 0.13 series for dockerfile-from-checker

[deitch]

Currently using 0.11.x series. Should move to 0.12.x, but there are compatibility issues with docker/docker, which would require downgrading that to a beta release of 24.0.0 from its current actual 24.0.7. Buildkit v0.13.x is compatible with released docker/docker 25.0.0, so everything works well.

And we already do it for dockerfile-add-scanner anyways.

[deitch]

yetus is just wrong here. I do not care what make version is in there. Ignoring.

[eriknordmark]

LGTM. I assume we should move forward from the beta as soon as there is a new release.

FWIW why did you want to remove the make version? I wouldn't expect different versions to cause different built artifacts but locking down the versions of everything seems to have less risk of breaking the reproducibility of the builds.

[deitch]

LGTM. I assume we should move forward from the beta as soon as there is a new release.

Sure.

FWIW why did you want to remove the make version? I wouldn't expect different versions to cause different built artifacts but locking down the versions of everything seems to have less risk of breaking the reproducibility of the builds

Then you have to change it with each time you update something. I had it locked to the alpine-3.18 version, and then had to change it for this. It adds no value.