Skip to content

Actions: safer-rust/RAPx

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Establish slice invariant in init_parameters RAPx CI #2104: Commit e6740d8 pushed by hxuhack
17m 2s main
main
17m 2s
Establish slice invariant in init_parameters Deploy Doc #1782: Commit e6740d8 pushed by hxuhack
1m 28s main
main
1m 28s
Drop index_access and prefer annotation over JSON contracts RAPx CI #2103: Commit e4b5e31 pushed by hxuhack
17m 57s main
main
17m 57s
Drop index_access and prefer annotation over JSON contracts Deploy Doc #1781: Commit e4b5e31 pushed by hxuhack
1m 27s main
main
1m 27s
Unify struct and type invariant return checks RAPx CI #2102: Commit 6e34de2 pushed by hxuhack
14m 25s main
main
14m 25s
Unify struct and type invariant return checks Deploy Doc #1780: Commit 6e34de2 pushed by hxuhack
1m 25s main
main
1m 25s
Verify built-in type invariants at return RAPx CI #2101: Commit 03e2fdb pushed by hxuhack
17m 27s main
main
17m 27s
Verify built-in type invariants at return Deploy Doc #1779: Commit 03e2fdb pushed by hxuhack
1m 19s main
main
1m 19s
Check Init on Ptr2Ref and model raw-pointer field returns RAPx CI #2100: Commit 293eada pushed by hxuhack
10m 21s main
main
10m 21s
Check Init on Ptr2Ref and model raw-pointer field returns Deploy Doc #1778: Commit 293eada pushed by hxuhack
1m 24s main
main
1m 24s
support unbounded interval bounds in ValidNum Deploy Doc #1777: Commit d783d36 pushed by hxuhack
1m 34s main
main
1m 34s
support unbounded interval bounds in ValidNum RAPx CI #2099: Commit d783d36 pushed by hxuhack
13m 59s main
main
13m 59s
Tame Send raw pointers via field-level compound properties RAPx CI #2098: Commit a8a9d3b pushed by hxuhack
13m 48s main
main
13m 48s
Tame Send raw pointers via field-level compound properties Deploy Doc #1776: Commit a8a9d3b pushed by hxuhack
1m 28s main
main
1m 28s
Annotate tamed raw-pointer field in TamedRawPtr Deploy Doc #1775: Commit dc1fb8f pushed by hxuhack
1m 26s main
main
1m 26s
Annotate tamed raw-pointer field in TamedRawPtr RAPx CI #2097: Commit dc1fb8f pushed by hxuhack
13m 21s main
main
13m 21s
Define TamedRawPtr as a compound property Deploy Doc #1774: Commit 79702ac pushed by hxuhack
1m 29s main
main
1m 29s
Define TamedRawPtr as a compound property RAPx CI #2096: Commit 79702ac pushed by hxuhack
14m 14s main
main
14m 14s
Decompose TamedRawPtr into InvariantPresent + JSON composition Deploy Doc #1773: Commit 7874c5e pushed by hxuhack
1m 37s main
main
1m 37s
Decompose TamedRawPtr into InvariantPresent + JSON composition RAPx CI #2095: Commit 7874c5e pushed by hxuhack
12m 4s main
main
12m 4s
Tame atomically-updated raw pointers in Send (AtomicUpdate) RAPx CI #2094: Commit ec978d5 pushed by hxuhack
11m 48s main
main
11m 48s
Tame atomically-updated raw pointers in Send (AtomicUpdate) Deploy Doc #1772: Commit ec978d5 pushed by hxuhack
1m 17s main
main
1m 17s
Extract generic MyRcGeneric cases into thread_safe_generic fixtures RAPx CI #2093: Commit 9301d9f pushed by hxuhack
14m 38s main
main
14m 38s
Extract generic MyRcGeneric cases into thread_safe_generic fixtures Deploy Doc #1771: Commit 9301d9f pushed by hxuhack
2m 30s main
main
2m 30s
Merge Send/Sync fixtures into thread_safe sound/unsound RAPx CI #2092: Commit 17e7028 pushed by hxuhack
11m 42s main
main
11m 42s