All workflows

Workflow runs

• Tool management end-to-end

  completed successfully:
  Tool management end-to-end#834:Scheduled
  main

  Oct 31, 20262m 50s
  More actions for workflow run 834

• Tool manifest artifacts

  completed successfully:
  Tool manifest artifacts#435:Scheduled
  main

  Oct 31, 20261m 50s
  More actions for workflow run 435

• Projects

  failed:
  Projects#53:Scheduled
  main

  Oct 31, 202610m 41s
  More actions for workflow run 53

• Playwright Docs Tests

  completed successfully:
  Playwright Docs Tests#414:Scheduled
  main

  Oct 31, 202618m 38s
  More actions for workflow run 414

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Docs build#435:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 20268m 10s
  More actions for workflow run 435

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Test Workspace#7761:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 20262m 15s
  More actions for workflow run 7761

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Verify snapshots#365:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 20261m 57s
  More actions for workflow run 365

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Install & test#7708:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202627m 45s
  More actions for workflow run 7708

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Check Changelog Update#2481:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202613s
  More actions for workflow run 2481

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Standalone cargo-hax installation#797:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 20262m 20s
  More actions for workflow run 797

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Linting for the Rust engine and cargo-hax#3320:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 20261m 51s
  More actions for workflow run 3320

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  core-models#768:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202622m 47s
  More actions for workflow run 768

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Check hax-lean version#880:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202613s
  More actions for workflow run 880

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Test backend verification#1396:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202627m 9s
  More actions for workflow run 1396

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Check licenses#4609:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 20261m 20s
  More actions for workflow run 4609

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Tool management end-to-end#833:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202616s
  More actions for workflow run 833

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Make sure generated files are up-to-date#679:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202637s
  More actions for workflow run 679

• proverif: reject code where Err variant handling can lead to unsound proofs

  completed successfully:
  Ensure formatting#7804:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202636s
  More actions for workflow run 7804

• proverif: reject code where Err variant handling can lead to unsound proofs

  skipped:
  Test installations#7465:Pull request#2367synchronizebymaximebuyse
  proverif-err-arm-recovery

  Oct 30, 202612s
  More actions for workflow run 7465

• Tool management end-to-end

  completed successfully:
  Tool management end-to-end#832:Scheduled
  main

  Oct 30, 20264m 25s
  More actions for workflow run 832

• Tool manifest artifacts

  completed successfully:
  Tool manifest artifacts#434:Scheduled
  main

  Oct 30, 20262m 34s
  More actions for workflow run 434

• Projects

  failed:
  Projects#52:Scheduled
  main

  Oct 30, 20268m 53s
  More actions for workflow run 52

• Playwright Docs Tests

  failed:
  Playwright Docs Tests#413:Scheduled
  main

  Oct 30, 202619m 42s
  More actions for workflow run 413

• fix: silence the warnings cargo check --all-targets reports

  completed successfully:
  core-models#767:Pull request#2369openedbyzac-scheiwe
  zac-scheiwe:fix-lints

  Oct 30, 202624m 18s
  More actions for workflow run 767

• fix: silence the warnings cargo check --all-targets reports

  completed successfully:
  Ensure formatting#7803:Pull request#2369openedbyzac-scheiwe
  zac-scheiwe:fix-lints

  Oct 30, 202636s
  More actions for workflow run 7803