proof-image

Workflow runs for proof-image

• Run sharing-boundaries, fuzz and std-model-diff inside the proof image

  completed successfully:
  proof-image#17:Commitbf25cffpushedbylucannez64
  t3/external-security-assurance

  Nov 5, 20263h 17m 28s
  More actions for workflow run 17

• Ride out longer snapshot outages in the proof image build

  cancelled:
  proof-image#16:Commit9ed5e17pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 202634m 5s
  More actions for workflow run 16

• Turn off apt's delayed retries in the proof image

  failed:
  proof-image#15:Commit7395040pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 20261h 30m 50s
  More actions for workflow run 15

• Retry the proof image's package downloads too

  cancelled:
  proof-image#14:Commitfd7e751pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 20261h 36m 44s
  More actions for workflow run 14

• Add python3-yaml to the proof image

  failed:
  proof-image#13:Commit9de2307pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 202613m 21s
  More actions for workflow run 13

• proof-image

  completed successfully:
  proof-image#12:Manually runbylucannez64
  t3/external-security-assurance

  Nov 5, 20261h 10m 2s
  More actions for workflow run 12

• Mark the workspace git-safe in proof container jobs

  cancelled:
  proof-image#11:Commita1a38c8pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 202635s
  More actions for workflow run 11

• Add lld to the proof image

  cancelled:
  proof-image#10:Commit7fcc698pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 20262h 1m 13s
  More actions for workflow run 10

• proof-image

  cancelled:
  proof-image#9:Manually runbylucannez64
  t3/external-security-assurance

  Nov 5, 20264m 43s
  More actions for workflow run 9

• Pin the proof image and run its container jobs under bash

  cancelled:
  proof-image#8:Commit72b5d52pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 20261m 24s
  More actions for workflow run 8

• Retry the proof image's apt update until every index downloads

  failed:
  proof-image#7:Commitd0a819dpushedbylucannez64
  t3/external-security-assurance

  Nov 5, 20261h 17m 42s
  More actions for workflow run 7

• Add rsync, patch, m4 and bzip2 to the proof image

  failed:
  proof-image#6:Commit69f7749pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 20262m 35s
  More actions for workflow run 6

• Install rustup into install-hax's CARGO_HOME in the proof image

  failed:
  proof-image#5:Commitf3e2756pushedbylucannez64
  t3/external-security-assurance

  Nov 5, 202638m 23s
  More actions for workflow run 5

• Put cargo on PATH before the proof image checks rustc

  failed:
  proof-image#4:Commit5c3dec3pushedbylucannez64
  t3/external-security-assurance

  Nov 4, 202612m 16s
  More actions for workflow run 4

• Bootstrap the proof image's apt without CA certificates

  failed:
  proof-image#3:Commit0640093pushedbylucannez64
  t3/external-security-assurance

  Nov 4, 202611m 16s
  More actions for workflow run 3

• Fetch the proof image's apt snapshot over http

  failed:
  proof-image#2:Commit1548546pushedbylucannez64
  t3/external-security-assurance

  Nov 4, 202635s
  More actions for workflow run 2

• Refresh the assurance manifest for T10/T11

  failed:
  proof-image#1:Commitcb70eb3pushedbylucannez64
  t3/external-security-assurance

  Nov 4, 202630s
  More actions for workflow run 1