Skip to content

Actions: safer-rust/safety-tags

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
480 workflow runs
480 workflow runs

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
Add os-safety-tags.md: OS safety risk tags with API examples, 44 tags… CI #338: Commit bb4093a pushed by hxuhack
Startup failure main
main
Startup failure
Update os-safety-tags.md: 44 tags, refer to asterinas/sp.md, coverage… CI #337: Commit 83547c9 pushed by hxuhack
1s main
main
1s
Move os-safety-tags.md to target-projects/ CI #336: Commit 1360bcd pushed by hxuhack
Startup failure main
main
Startup failure
Update os-safety-tags with improved coverage (linux 66%, asterinas 75… CI #335: Commit 7464df1 pushed by hxuhack
1s main
main
1s
Add OS safety risk tags table with API examples from linux/asterinas/… CI #334: Commit 30dd64d pushed by hxuhack
1s main
main
1s
fix: NoPadding(ptr) -> NoPadding(T) to match parameter type (type, no… CI #333: Commit 03f5f2c pushed by hxuhack
Startup failure main
main
Startup failure
rename: ValidPtr2Ref -> Ptr2Ref CI #332: Commit 807d2ca pushed by hxuhack
1s main
main
1s
rename: !Volatile -> NonVolatile to match RAPx naming convention CI #331: Commit 43fdf2e pushed by hxuhack
Startup failure main
main
Startup failure
docs: update summary table — !Reachable() → Unreachable CI #330: Commit 07e267b pushed by hxuhack
1s main
main
1s
docs: rename !Reachable() to Unreachable() in primitive-sp CI #329: Commit 67cada5 pushed by hxuhack
Startup failure main
main
Startup failure
docs: clarify Alias(p1,p2) as a hazard declaration, Alias(p,0) → Alia… CI #328: Commit a11b491 pushed by hxuhack
Startup failure main
main
Startup failure
feat(safety-macro): add invariant/ensures proc-macros, support kind="… CI #327: Commit 69ce591 pushed by hxuhack
Startup failure main
main
Startup failure
docs: overhaul pre-RFC syntax to align with RAPx CI #326: Commit 4ba601c pushed by hxuhack
Startup failure main
main
Startup failure
docs: overhaul pre-RFC syntax to align with RAPx CI #325: Commit ac7b5e6 pushed by hxuhack
1s main
main
1s
docs: simplify grammar to safety-only, remove RAPx implementation ref… CI #324: Commit 6b8ea33 pushed by hxuhack
1s main
main
1s
docs: overhaul pre-RFC syntax to align with RAPx CI #323: Commit bb5dfbb pushed by hxuhack
1s main
main
1s
docs: simplify hazard description back to concise form CI #322: Commit 090e14b pushed by hxuhack
Startup failure main
main
Startup failure
docs: clarify hazard warns of UB risk that subsequent code must avoid CI #321: Commit 9fed354 pushed by hxuhack
Startup failure main
main
Startup failure
docs: remove tool-specific UNSOUND verdict language from hazard descr… CI #320: Commit 01db759 pushed by hxuhack
Startup failure main
main
Startup failure
docs: clarify requires defaults to precond, hazard must be explicit CI #319: Commit 750b43d pushed by hxuhack
1s main
main
1s
docs: clarify hazard is a warning tag, not a mandatory precondition CI #318: Commit a1459d8 pushed by hxuhack
Startup failure main
main
Startup failure
docs: drop dedicated #[safety::hazard], use kind="hazard" in requires CI #317: Commit 5ef86c4 pushed by hxuhack
Startup failure main
main
Startup failure
docs: rename !Null→NonNull, !Overlap→NonOverlap, !Padding→NoPadding i… CI #316: Commit e4d28f8 pushed by hxuhack
Startup failure main
main
Startup failure
docs: add any(...) combinator to pre-RFC grammar and examples CI #315: Commit c097f70 pushed by hxuhack
Startup failure main
main
Startup failure
docs: use safety:: prefix in pre-RFC, add kind="..." group syntax CI #314: Commit 2b7fa9e pushed by hxuhack
Startup failure main
main
Startup failure