Update GitHub workflows

[romancardenas]

With all the bors thing going on, I've been reading a bit about merge queues etc. and noticed that some of our workflows still use outdated/deprecated actions. This PR fixes this.

[romancardenas]

bors try

[bors[bot]]

try

Configuration problem: bors.toml: syntax error

[romancardenas]

bors try

[bors[bot]]

try

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• rustfmt
• clippy (stable, --all-features)
• build-others (ubuntu-latest, --no-default-features)
• build-riscv (1.59.0, riscv32i-unknown-none-elf, --no-default-features)
• build-riscv (stable, riscv32imac-unknown-none-elf, --all-features)

[romancardenas]

Looks like the % wildcard in bors.toml only captures one hit. Does anyone know how to tell bors to check ALL the matches?

[romancardenas]

bors try

[bors[bot]]

try

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• rustfmt
• build-check
• clippy-check

[romancardenas]

I followed this idea and now it should work

[almindor]

bors r+

[bors[bot]]

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• build-check
• clippy-check
• rustfmt