cleanup azure leftovers

[klensy]

Continuation of #97756

[rustbot]

r? @pietroalbini

(rustbot has picked a reviewer for you, use r? to override)

[rustbot]

The Miri subtree was changed

cc @rust-lang/miri

[klensy]

What part of should be removed?

rust/src/bootstrap/toolstate.rs

Lines 358 to 383 in f9097f8

	/// This function `commit_toolstate_change` provides functionality for pushing a change
	/// to the `rust-toolstate` repository.
	///
	/// The function relies on a GitHub bot user, which should have a Personal access
	/// token defined in the environment variable $TOOLSTATE_REPO_ACCESS_TOKEN. If for
	/// some reason you need to change the token, please update the Azure Pipelines
	/// variable group.
	///
	/// 1. Generate a new Personal access token:
	///
	/// * Login to the bot account, and go to Settings -> Developer settings ->
	/// Personal access tokens
	/// * Click "Generate new token"
	/// * Enable the "public_repo" permission, then click "Generate token"
	/// * Copy the generated token (should be a 40-digit hexadecimal number).
	/// Save it somewhere secure, as the token would be gone once you leave
	/// the page.
	///
	/// 2. Update the variable group in Azure Pipelines
	///
	/// * Ping a member of the infrastructure team to do this.
	///
	/// 4. Replace the email address below if the bot account identity is changed
	///
	/// * See <https://help.github.com/articles/about-commit-email-addresses/>
	/// if a private email by GitHub is wanted.

can this be changed back to https?

rust/src/ci/run.sh

Lines 153 to 164 in f9097f8

	# Print the date from the local machine and the date from an external source to
	# check for clock drifts. An HTTP URL is used instead of HTTPS since on Azure
	# Pipelines it happened that the certificates were marked as expired.
	datecheck() {
	echo"== clock drift check =="
	echo -n " local time: "
	date
	echo -n " network time: "
	curl -fs --head http://ci-caches.rust-lang.org | grep ^Date: \
	| sed 's/Date: //g'||true
	echo"== end clock drift check =="
	}

[emilyalbini]

What part of should be removed?

Not really much, it's the same procedure even though it's now on GitHub Actions.

can this be changed back to https?

I'd keep it as http: date drifts could cause validation of the tls certificate to fail, while the whole purpose of the check is to detect date drifts.

[emilyalbini]

Current changes look good, let me know if you want to make more here or if I should approve this 🙂

[klensy]

Current changes look good, let me know if you want to make more here or if I should approve this 🙂

Let's merge, no new ideas here yet.

[emilyalbini]

@bors r+

[bors]

📌 Commit 903b3d3 has been approved by pietroalbini

It is now in the queue for this repository.