[CI] Remove dead code (#1903)

Bump rewriter from `56ae1fe` to `b1e8367` (#1885)

Bumps [rewriter](https://github.com/mit-plv/rewriter) from `56ae1fe` to `b1e8367`.
- [Release notes](https://github.com/mit-plv/rewriter/releases)
- [Commits](mit-plv/rewriter@56ae1fe...b1e8367)

---
updated-dependencies:
- dependency-name: rewriter
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bump actions/setup-java from 4.1.0 to 4.2.1 (#1836)

Bumps [actions/setup-java](https://github.com/actions/setup-java) from 4.1.0 to 4.2.1.
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](actions/setup-java@v4.1.0...v4.2.1)

---
updated-dependencies:
- dependency-name: actions/setup-java
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 (#1810)

Bumps [ammaraskar/gcc-problem-matcher](https://github.com/ammaraskar/gcc-problem-matcher) from 0.2.0 to 0.3.0.
- [Release notes](https://github.com/ammaraskar/gcc-problem-matcher/releases)
- [Commits](ammaraskar/gcc-problem-matcher@0.2.0...0.3.0)

---
updated-dependencies:
- dependency-name: ammaraskar/gcc-problem-matcher
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

[CI] [coq-docker] export CI=1

Only upload one copy of linux binaries to releases (#1721)

We upload the statically-linked Alpine edge binaries, as these are
probably the most portable.

Note that the statically-linked Alpine binaries are actually smaller
than the Debian executables (~35 MB archive vs ~41 MB archive), though
the Debian ones are pie (position-independent executables, supporting
Address Space Layout Randomization).

Bump rewriter from `5e74224` to `5d274d2` (#1704)

[sp2019latest] User docker for master test (#1696)

* User docker for master test

* Comment out unused gcc

* Split up docker action

Fix publish.yml: Remove useless setup-rust-action

[CI] Add checkout to test-rust-check-all

Fixes issue with working directory