Autoharness: reference tracking issue #4750 for cross-argument aliasing

016e4ee

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Check Std Verification on: pull_request 10

verify-std (ubuntu-22.04)

verify-std (macos-14)

Cargo Deny on: pull_request

audit

Kani Extra on: pull_request_target

Auto Label

Kani Format Check on: pull_request 1

format-check

clippy-check

Release Bundle on: pull_request 15

BuildBundle-MacOs-x86_64

BuildBundle-MacOs-aarch64

BuildBundle-Linux-x86_64

BuildBundle-Linux-aarch64

TestLocalToolchain (macos-15-intel)

TestLocalToolchain (macos-14)

TestLocalToolchain (ubuntu-22.04)

TestLocalToolchain (ubuntu-24.04)

TestLocalToolchain (ubuntu-24.04-arm)

TestBundle (macos-15-intel)

TestBundle (macos-14)

TestBundle (ubuntu-22.04)

TestBundle (ubuntu-24.04)

TestBundle (ubuntu-24.04-arm)

Release

Package Docker

Kani CI on: pull_request 11

regression (macos-15-intel)

regression (ubuntu-22.04)

regression (ubuntu-24.04)

regression (macos-14)

regression (ubuntu-24.04-arm)

benchcomp-tests

perf

llbc-regression

documentation

Kani Benchmarks on: pull_request 1

End-to-End Benchmarks / perf-benchcomp

Compiler Benchmarks / compile-timer-short

Compiler Benchmarks / compile-timer-long

Annotations

2 errors

Run verification with BASE

Process completed with exit code 1.

Run verification with HEAD

Uh oh!

Autoharness: reference tracking issue #4750 for cross-argument aliasing

Uh oh!

Annotations

Re-running jobs...