All workflows

Workflow runs

• Update Lean toolchain and pinned deps

  completed successfully:
  Update Lean toolchain and pinned deps#90:Scheduled
  main

  Nov 8, 20264m 50s
  More actions for workflow run 90

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  Nix CI#2958:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 202637m 53s
  More actions for workflow run 2958

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  CI Jobs#3163:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20261h 15m 23s
  More actions for workflow run 3163

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  Merge tests#473:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20264s
  More actions for workflow run 473

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  CodeQL#1262:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20265m 5s
  More actions for workflow run 1262

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  cancelled:
  Nix CI#2957:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 202611m 49s
  More actions for workflow run 2957

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  cancelled:
  CI Jobs#3162:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 202611m 49s
  More actions for workflow run 3162

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  Merge tests#472:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20267s
  More actions for workflow run 472

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  CodeQL#1261:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20263m 45s
  More actions for workflow run 1261

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  failed:
  Nix CI#2956:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20261m 14s
  More actions for workflow run 2956

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  failed:
  CI Jobs#3161:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20263m 54s
  More actions for workflow run 3161

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  Merge tests#471:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20265s
  More actions for workflow run 471

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  failed:
  CodeQL#1260:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 8, 20265m 6s
  More actions for workflow run 1260

• Update Lean toolchain and pinned deps

  completed successfully:
  Update Lean toolchain and pinned deps#89:Scheduled
  main

  Nov 7, 20264m 35s
  More actions for workflow run 89

• fix(bench): pass --allow-declined in ooc whole-env check-lean benchmark

  completed successfully:
  Bencher thresholds reset#719:Pull request#685closedbyjohnchandlerburnham
  jcb/fix-ooc-bench

  Nov 7, 20267s
  More actions for workflow run 719

• fix(bench): pass --allow-declined in ooc whole-env check-lean benchma…

  completed successfully:
  Nix CI#2955:Commitbdd4304pushedbygithub-merge-queue[bot]Bot
  main

  Nov 7, 20263m 26s
  More actions for workflow run 2955

• fix(bench): pass --allow-declined in ooc whole-env check-lean benchma…

  completed successfully:
  CI Jobs#3160:Commitbdd4304pushedbygithub-merge-queue[bot]Bot
  main

  Nov 7, 202625m 30s
  More actions for workflow run 3160

• fix(bench): pass --allow-declined in ooc whole-env check-lean benchma…

  completed successfully:
  CodeQL#1259:Commitbdd4304pushedbygithub-merge-queue[bot]Bot
  main

  Nov 7, 202611s
  More actions for workflow run 1259

• Benchmark main (r8i.8xlarge)

  completed successfully:
  Benchmark main#172:Commitbdd4304pushedbygithub-merge-queue[bot]Bot
  main

  Nov 7, 202655m 4s
  More actions for workflow run 172

• Merge tests

  completed successfully:
  Merge tests#446:Merge group checks requested
  Nov 7, 202652m 34s
  More actions for workflow run 446

• Nix CI

  completed successfully:
  Nix CI#2954:Merge group checks requested
  Nov 7, 20264m 3s
  More actions for workflow run 2954

• CI Jobs

  completed successfully:
  CI Jobs#3159:Merge group checks requested
  Nov 7, 202634m 17s
  More actions for workflow run 3159

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  Nix CI#2953:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 7, 202636m 10s
  More actions for workflow run 2953

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  failed:
  CI Jobs#3158:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 7, 202631m 11s
  More actions for workflow run 3158

• Certify Formal Aiur & Retire Legacy Aiur/IxVM

  completed successfully:
  CodeQL#1258:Pull request#678synchronizebyjohnchandlerburnham
  jcb/certified-ixvm

  Nov 7, 20265m 14s
  More actions for workflow run 1258