Skip to content

chore: Patch edge-net revision and implement new traits + refactor. (… #134

chore: Patch edge-net revision and implement new traits + refactor. (…

chore: Patch edge-net revision and implement new traits + refactor. (… #134

Workflow file for this run

name: CI
on:
pull_request:
branches:
- main
push:
workflow_dispatch:
env:
CARGO_TERM_COLOR: always
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# Cancel any currently running workflows from the same PR, branch, or
# tag when a new workflow is triggered.
#
# https://stackoverflow.com/a/66336834
concurrency:
cancel-in-progress: true
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
jobs:
all:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: dtolnay/rust-toolchain@v1
with:
target: riscv32imc-unknown-none-elf
toolchain: nightly-2024-07-22
components: rust-src,rustfmt
- uses: esp-rs/[email protected]
with:
ldproxy: false
override: false
- uses: Swatinem/rust-cache@v2
- uses: extractions/setup-just@v1
with:
just-version: 1.13.0
- name: check
run: just