Skip to content

Various automatic Clippy fixes. #118

Various automatic Clippy fixes.

Various automatic Clippy fixes. #118

Workflow file for this run

on:
pull_request:
merge_group:
# This is required to silence emails about the workflow having no jobs.
# We simply define a dummy job that does nothing much.
jobs:
dummy:
runs-on: ubuntu-latest
steps:
- run: /usr/bin/true