Skip to content
CI

Merge pull request #42 from rust-embedded/missing-dot #20

Sign in to view logs

Merge pull request #42 from rust-embedded/missing-dot

Merge pull request #42 from rust-embedded/missing-dot #20

Triggered via push October 26, 2025 20:47
@BartMasseyBartMassey
pushed 30dad9c
master
Status Success
Total duration 24s
Artifacts –

ci.yml

on: push
build
16s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Unexpected input(s) 'profile', valid inputs are ['toolchain', 'targets', 'target', 'components']