Skip to content

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

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
23 workflow runs
23 workflow runs

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
Cert-C mapping derived from Review Batches issues (#582) Deploy #33: Commit 46a13e5 pushed by PLeVasseur
1m 28s 0.1.25
0.1.25
1m 28s
Add MISRA C mapping table (#432) Deploy #32: Commit 54efd6d pushed by PLeVasseur
1m 30s 0.1.24
0.1.24
1m 30s
[Coding Rule]: assure visibility of unsafe keyword in unsafe code (… Deploy #31: Commit 1c7d6bb pushed by PLeVasseur
1m 47s 0.1.23
0.1.23
1m 47s
[Coding Rule]: Do not read from uninitialized union fields (#302) Deploy #30: Commit f1352df pushed by PLeVasseur
1m 47s 0.1.22
0.1.22
1m 47s
refactor: render each guideline as a standalone page (#385) Deploy #29: Commit ea44d3e pushed by PLeVasseur
1m 20s 0.1.21
0.1.21
1m 20s
Fix code example qualifiers (#373) Deploy #28: Commit ac03df6 pushed by PLeVasseur
1m 39s 0.1.20
0.1.20
1m 39s
fix/ci fixes to fail not skip on dependent steps failing (#356) Deploy #27: Commit 48e18ea pushed by PLeVasseur
1m 20s 0.1.19
0.1.19
1m 20s
[Coding Guideline]: Ensure reads of union fields produce valid values… Deploy #26: Commit a9d650f pushed by PLeVasseur
58s 0.1.19
0.1.19
58s
Update extension readme and style guideline (#348) Deploy #25: Commit 395511f pushed by PLeVasseur
1m 38s 0.1.18
0.1.18
1m 38s
Convert inline links to either bibliography or std role (#347) Deploy #24: Commit 9fc1e27 pushed by PLeVasseur
1m 34s 0.1.17
0.1.17
1m 34s
fix: make miri microscope icon be font awesome as well (#346) Deploy #23: Commit 5feea12 pushed by PLeVasseur
1m 25s 0.1.16
0.1.16
1m 25s
fix: loosen parsing logic for options in code examples and warn on fi… Deploy #22: Commit cafb7a9 pushed by PLeVasseur
1m 28s 0.1.15
0.1.15
1m 28s
Address code examples features: copyable, runnable, hideable + add mi… Deploy #21: Commit e98cf3e pushed by PLeVasseur
1m 29s 0.1.14
0.1.14
1m 29s
Add bibliography capabilities (#334) Deploy #20: Commit 90ff0c9 pushed by PLeVasseur
1m 29s 0.1.13
0.1.13
1m 29s
Update formatting to make guidelines more legible (#289) Deploy #19: Commit 6b90563 pushed by PLeVasseur
1m 29s 0.1.12
0.1.12
1m 29s
fix: include copyright header in generated guideline text for .rst.in… Deploy #18: Commit 02f9052 pushed by PLeVasseur
1m 32s 0.1.11
0.1.11
1m 32s
feat: add ability to test guideline examples (#273) Deploy #17: Commit 08e15b4 pushed by PLeVasseur
1m 43s 0.1.10
0.1.10
1m 43s
replaced integer overflow rule with strong typing rule (#234) Deploy #16: Commit 587f8bc pushed by PLeVasseur
1m 33s 0.1.9
0.1.9
1m 33s
revised divide by zero rule (#232) Deploy #15: Commit 4543086 pushed by PLeVasseur
1m 34s 0.1.8
0.1.8
1m 34s
chore: update spec.lock file - 2025-11-22 (#230) Deploy #14: Commit 01afd49 pushed by PLeVasseur
1m 49s 0.1.7
0.1.7
1m 49s
fix: bump spec lock and fix python version to only accept patch bumps… Deploy #13: Commit 737a09e pushed by PLeVasseur
1m 25s 0.1.6
0.1.6
1m 25s
Add CNAME to deploy step (#155) Deploy #12: Commit 4177b92 pushed by PLeVasseur
1m 42s 0.1.5
0.1.5
1m 42s
Defects vs subsets (#127) Deploy #11: Commit 0c2e50f pushed by PLeVasseur
1m 34s 0.1.4
0.1.4
1m 34s