Skip to content
PR

Add option to declare IRQ as "edge" triggered #147

Sign in to view logs

Add option to declare IRQ as "edge" triggered

Add option to declare IRQ as "edge" triggered #147

Triggered via pull request February 14, 2024 03:37
@Ivan-VelickovicIvan-Velickovic
synchronize #32
Ivan-Velickovic:irq_edge_triggered
Status Success
Total duration 59s
Artifacts –

pr.yml

on: pull_request
Gitlint
16s
Gitlint
Trailing Whitespace
9s
Trailing Whitespace
Portable Shell
10s
Portable Shell
Style
20s
Style
mypy on tool
47s
mypy on tool
Fit to window
Zoom out
Zoom in

Annotations

1 warning
mypy on tool
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.