Remove obsolete safety proofs #6681

Remove obsolete safety proofs

Usage Workflow file

succeeded Mar 8, 2025 in 33s

Set up job

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Run actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Configure environment variables

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Rust Cache

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Install stable Rust for use in 'cargo.sh'

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Install Rust with nightly toolchain (nightly-2024-11-06) and target aarch64_be-unknown-linux-gnu

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Check big endian for aarch64_be-unknown-linux-gnu target

16s

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Post Rust Cache

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Post Run actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Complete job

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.