Skip to content

Actions: Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
97 workflow run results
97 workflow run results

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Project is using netlify build previews Build #213: Pull request #140 opened by plaindocs
1m 16s plaindocs:remove-rtd
plaindocs:remove-rtd
1m 16s
Nightly Nightly #110: Scheduled
1m 30s main
main
1m 30s
Nightly Nightly #109: Scheduled
1m 31s main
main
1m 31s
Nightly Nightly #108: Scheduled
1m 24s main
main
1m 24s
Nightly Nightly #107: Scheduled
1m 21s main
main
1m 21s
[Guideline] Add safe division guideline to avoid dividing by zero Build #212: Pull request #136 synchronize by vapdrs
1m 36s vapdrs:feature/use-check-arithmetic
vapdrs:feature/use-check-arithmetic
1m 36s
[Guideline] Add safe division guideline to avoid dividing by zero Build #211: Pull request #136 synchronize by vapdrs
1m 18s vapdrs:feature/use-check-arithmetic
vapdrs:feature/use-check-arithmetic
1m 18s
Nightly Nightly #106: Scheduled
1m 25s main
main
1m 25s
[Extension] Extract and test Compliant and Non-compliant code blocks Build #210: Pull request #91 synchronize by x0rw
1m 16s x0rw:extension/execute-code-blocks
x0rw:extension/execute-code-blocks
1m 16s
Nightly Nightly #105: Scheduled
1m 24s main
main
1m 24s
[Extension] Extract and test Compliant and Non-compliant code blocks Build #209: Pull request #91 synchronize by x0rw
1m 14s x0rw:extension/execute-code-blocks
x0rw:extension/execute-code-blocks
1m 14s
Define the tag "decidability" Coding Guideline Issue Labeler #32: Issue #139 opened by darkwisebear
13s
13s
[Guideline] Add do not divide by 0 Build #208: Pull request #132 synchronize by vapdrs
1m 19s vapdrs:feature/do-not-divide-by-0
vapdrs:feature/do-not-divide-by-0
1m 19s
[Guideline] Add safe division guideline to avoid dividing by zero Build #207: Pull request #136 synchronize by vapdrs
1m 19s vapdrs:feature/use-check-arithmetic
vapdrs:feature/use-check-arithmetic
1m 19s
Add additional tags to guideline template Build #206: Pull request #138 opened by darkwisebear
1m 14s darkwisebear:patch-1
darkwisebear:patch-1
1m 14s
[Coding Guideline]: Use matching types at the language boundary Coding Guideline Issue Labeler #31: Issue #137 opened by darkwisebear
13s
13s
Nightly Nightly #104: Scheduled
1m 19s main
main
1m 19s
[Guideline] Add safe division guideline to avoid dividing by zero Build #205: Pull request #136 opened by vapdrs
1m 23s vapdrs:feature/use-check-arithmetic
vapdrs:feature/use-check-arithmetic
1m 23s
[Guideline] Add do not divide by 0 Build #204: Pull request #132 synchronize by vapdrs
1m 17s vapdrs:feature/do-not-divide-by-0
vapdrs:feature/do-not-divide-by-0
1m 17s
Nightly Nightly #103: Scheduled
1m 17s main
main
1m 17s
Nightly Nightly #102: Scheduled
1m 23s main
main
1m 23s
Nightly Nightly #101: Scheduled
1m 25s main
main
1m 25s
Nightly Nightly #100: Scheduled
1m 21s main
main
1m 21s
Nightly Nightly #99: Scheduled
1m 22s main
main
1m 22s
Nightly Nightly #98: Scheduled
1m 22s main
main
1m 22s