Skip to content
Linting

Merge develop into 1.1 #3641

Sign in to view logs

Merge develop into 1.1

Merge develop into 1.1 #3641

Triggered via pull request September 29, 2023 14:27
@thibault-martinezthibault-martinez
opened #1355
thibault-martinez:merge-develop-1.1-8
Status Cancelled
Total duration 1m 7s
Artifacts –

lint.yml

on: pull_request
Lint
48s
Lint
Check Unused Dependencies
37s
Check Unused Dependencies
Check Format
52s
Check Format
Perform Security Audit
54s
Perform Security Audit
Check `no_std` compatability
28s
Check `no_std` compatability
Check types-only compilation
22s
Check types-only compilation
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Check Unused Dependencies
The run was canceled by @github-actions.
Check Unused Dependencies
The operation was canceled.
Lint
The run was canceled by @github-actions.
Lint
The operation was canceled.
Perform Security Audit
The operation was canceled.
Check Format
The run was canceled by @github-actions.
Check Format
The operation was canceled.