Build & Tests

Workflow runs for Build & Tests

• Compose referent content laws at explicit metadata pairs

  failed:
  Build & Tests#17269:Pull request#3895openedbyjoshlf
  Gvxor5zd4poticd2jnomp3vuskfptpxar

  Oct 15, 202641m 36s
  More actions for workflow run 17269

• Prove the native slice IntoBytes implementation

  failed:
  Build & Tests#17268:Pull request#3894openedbyjoshlf
  G5mwz4ieerzmvrwzsvsuahndzgsjmd53s

  Oct 15, 202641m 48s
  More actions for workflow run 17268

• Retain indexed storage in Rust model providers

  failed:
  Build & Tests#17267:Pull request#3893openedbyjoshlf
  Gqvy7wjamomt5ju5ujyh4bgdxfluqkdr3

  Oct 15, 202641m 21s
  More actions for workflow run 17267

• Compose byte decoders at explicit element metadata

  failed:
  Build & Tests#17266:Pull request#3892openedbyjoshlf
  Grpvcydhrmu5xhlrgdma3sjuwlvxdozc6

  Oct 15, 202633m 42s
  More actions for workflow run 17266

• Bound pointer projections even for empty referents

  failed:
  Build & Tests#17265:Pull request#3891openedbyjoshlf
  Gsul3w4vydc4wowguwwscielqttbpeytg

  Oct 15, 202635m 8s
  More actions for workflow run 17265

• [WIP] Introduce compound Ptr validity

  completed successfully:
  Build & Tests#17264:Pull request#2966synchronizebyjswrenn
  G06edd27f8b77b5ad480ca94749098bb4b0808342

  Oct 15, 20261h 10m 17s
  More actions for workflow run 17264

• [WIP] Introduce TryFromBytes::Uninit

  failed:
  Build & Tests#17263:Pull request#3021synchronizebyjswrenn
  Geec83fc8d47be6b2e51a15b84a2735bbc909ce68

  Oct 15, 20262h 14m 42s
  More actions for workflow run 17263

• [WIP] Introduce TryFromBytes::Uninit

  cancelled:
  Build & Tests#17262:Pull request#3021synchronizebyjswrenn
  Geec83fc8d47be6b2e51a15b84a2735bbc909ce68

  Oct 15, 202647m 39s
  More actions for workflow run 17262

• [wip] Introduce Ptr::project_map

  failed:
  Build & Tests#17261:Pull request#2984synchronizebyjswrenn
  Gc3e9ee9afa6945e10c35be84d30c970894395c96

  Oct 15, 20261h 18m 16s
  More actions for workflow run 17261

• [wip] Introduce Ptr::project_map

  cancelled:
  Build & Tests#17260:Pull request#2984synchronizebyjswrenn
  Gc3e9ee9afa6945e10c35be84d30c970894395c96

  Oct 15, 202647m 45s
  More actions for workflow run 17260

• Check trait invariants on exact Aeneas dictionaries

  failed:
  Build & Tests#17259:Pull request#3861synchronizebyjoshlf
  G32iu57kafa74nntjntxknpvpzw6gj37z

  Oct 15, 20261h 7m 12s
  More actions for workflow run 17259

• Prove CastUnsized's production layout acceptance gate

  failed:
  Build & Tests#17258:Pull request#3841synchronizebyjoshlf
  Gciywztxwi6xppau3ds7fviwyaeqk33fj

  Oct 15, 20261h 7m 30s
  More actions for workflow run 17258

• Prove concrete owned standard transmutation

  failed:
  Build & Tests#17257:Pull request#3877synchronizebyjoshlf
  Gwz22aqvb6z6qe2dmsgncsa6phc6jlxbf

  Oct 15, 20261h 7m 32s
  More actions for workflow run 17257

• Prove DstLayout padding and field extension

  failed:
  Build & Tests#17256:Pull request#3838synchronizebyjoshlf
  Ggsdoapsrkoab2sezv6aidvmzy46fo7pu

  Oct 15, 20261h 7m 57s
  More actions for workflow run 17256

• Prove the numerical bounds used by split operations

  failed:
  Build & Tests#17255:Pull request#3840synchronizebyjoshlf
  Gytt7syk4w4f52xlmszabgwlaiofsu7p6

  Oct 15, 20261h 8m 21s
  More actions for workflow run 17255

• Retain every type argument in native trait laws

  failed:
  Build & Tests#17254:Pull request#3888synchronizebyjoshlf
  Gh45pumwesnecey6ydwcy7kg5ucsvnr34

  Oct 15, 20261h 7m 42s
  More actions for workflow run 17254

• Prove primitive DstLayout constructors

  failed:
  Build & Tests#17253:Pull request#3835synchronizebyjoshlf
  Gi4f4vhkj7z3stqqcu5unrzfoqwqp3tuc

  Oct 15, 20261h 7m 53s
  More actions for workflow run 17253

• Prove conservative ownership checks for conditional drops

  failed:
  Build & Tests#17252:Pull request#3881synchronizebyjoshlf
  Gdfplsswvn7cgm7bugjeerqryd6uch4os

  Oct 15, 20261h 12m 3s
  More actions for workflow run 17252

• Verify the byte writers used by IntoBytes

  failed:
  Build & Tests#17251:Pull request#3851synchronizebyjoshlf
  Gkipiolhcatlfs5igrsox32w4yivfp7k3

  Oct 15, 20261h 8m 23s
  More actions for workflow run 17251

• Prove array IntoBytes initialization from element laws

  failed:
  Build & Tests#17250:Pull request#3863synchronizebyjoshlf
  G4s3r4gpuxvvnoxoizjjgoy3b2rwmgi7g

  Oct 15, 20261h 7m 34s
  More actions for workflow run 17250

• Prove record construction against independent Rust references

  failed:
  Build & Tests#17249:Pull request#3846synchronizebyjoshlf
  Grnfmfcmtj2bil5vndowx5pfy4gvaytae

  Oct 15, 20261h 7m 33s
  More actions for workflow run 17249

• Verify Boolean and NonZeroUsize candidate predicates

  failed:
  Build & Tests#17248:Pull request#3852synchronizebyjoshlf
  G7q2xz2bs5ln4dfgckfspk2us4dhjperw

  Oct 15, 20261h 7m 35s
  More actions for workflow run 17248

• Prove scalar and PhantomData IntoBytes implementations

  failed:
  Build & Tests#17247:Pull request#3871synchronizebyjoshlf
  Gfvteq5ybeueoxbb3izeqov7vsweunep

  Oct 15, 20261h 8m 19s
  More actions for workflow run 17247

• Prove guarded Boolean conversion and byte copying

  failed:
  Build & Tests#17246:Pull request#3849synchronizebyjoshlf
  Gsfnevxtkkrjpqabfdz42n6ncfeyaul7y

  Oct 15, 20261h 7m 42s
  More actions for workflow run 17246

• Relate recursive record layout to normalized size formulas

  failed:
  Build & Tests#17245:Pull request#3832synchronizebyjoshlf
  Gxignc3ksu7cmxhmlmbur2a7hqk44h5rp

  Oct 15, 20261h 8m 20s
  More actions for workflow run 17245