All workflows

Workflow runs

• Push on master

  completed successfully:
  CodeQL#748:byTristonianJones
  master

  Oct 21, 20262m 6s

• Cost model 12 v0 compat

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#574:Pull request#1572synchronizebyTristonianJones
  TristonianJones:cost-model-12-v0-compat

  Oct 21, 202648s
  More actions for workflow run 574

• Cost model 12 v0 compat

  completed successfully:
  GitHub Actions Scan#439:Pull request#1572synchronizebyTristonianJones
  Oct 21, 202614s
  More actions for workflow run 439

• Push on master

  completed successfully:
  CodeQL#747:byTristonianJones
  master

  Oct 21, 20262m 43s

• Push on master

  completed successfully:
  CodeQL#746:byTristonianJones
  master

  Oct 21, 20261m 40s

• Push on master

  completed successfully:
  CodeQL#745:byTristonianJones
  master

  Oct 21, 20261m 35s

• Push on master

  completed successfully:
  CodeQL#744:byTristonianJones
  master

  Oct 21, 20261m 58s

• Fix failing BenchmarkCheck cases

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#573:Pull request#1576openedbystefanvanburen
  stefanvanburen:svanburen/benchmark-json-field-names

  Oct 21, 202648s
  More actions for workflow run 573

• Fix failing BenchmarkCheck cases

  completed successfully:
  GitHub Actions Scan#438:Pull request#1576openedbystefanvanburen
  Oct 21, 202612s
  More actions for workflow run 438

• Undo failed assignability checks in place

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#572:Pull request#1575openedbystefanvanburen
  stefanvanburen:svanburen/undo-failed-assignability-checks

  Oct 21, 202639s
  More actions for workflow run 572

• Undo failed assignability checks in place

  completed successfully:
  GitHub Actions Scan#437:Pull request#1575openedbystefanvanburen
  Oct 21, 202611s
  More actions for workflow run 437

• Add a benchmark for checking long conjunctions

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#571:Pull request#1574openedbystefanvanburen
  stefanvanburen:svanburen/benchmark-long-conjunction

  Oct 21, 202651s
  More actions for workflow run 571

• Add a benchmark for checking long conjunctions

  completed successfully:
  GitHub Actions Scan#436:Pull request#1574openedbystefanvanburen
  Oct 21, 202610s
  More actions for workflow run 436

• Store pinned model version in coster's EstimateContext

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#570:Pull request#1573synchronizebyTristonianJones
  TristonianJones:cost-model-coster-version

  Oct 20, 202629m 46s
  More actions for workflow run 570

• Store pinned model version in coster's EstimateContext

  completed successfully:
  GitHub Actions Scan#435:Pull request#1573synchronizebyTristonianJones
  Oct 20, 202629m 4s
  More actions for workflow run 435

• Store pinned model version in coster's EstimateContext

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#569:Pull request#1573synchronizebyTristonianJones
  TristonianJones:cost-model-coster-version

  Oct 20, 202656m 55s
  More actions for workflow run 569

• Store pinned model version in coster's EstimateContext

  completed successfully:
  GitHub Actions Scan#434:Pull request#1573synchronizebyTristonianJones
  Oct 20, 202656m 36s
  More actions for workflow run 434

• Store pinned model version in coster's EstimateContext

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#568:Pull request#1573openedbyTristonianJones
  TristonianJones:cost-model-coster-version

  Oct 20, 20261h 12m 10s
  More actions for workflow run 568

• Store pinned model version in coster's EstimateContext

  completed successfully:
  GitHub Actions Scan#433:Pull request#1573openedbyTristonianJones
  Oct 20, 20261h 11m 32s
  More actions for workflow run 433

• Cost model 12 v0 compat

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#567:Pull request#1572openedbyTristonianJones
  TristonianJones:cost-model-12-v0-compat

  Oct 20, 20264m 13s
  More actions for workflow run 567

• Cost model 12 v0 compat

  completed successfully:
  GitHub Actions Scan#432:Pull request#1572openedbyTristonianJones
  Oct 20, 20263m 18s
  More actions for workflow run 432

• Push on master

  completed successfully:
  CodeQL#743:byTristonianJones
  master

  Oct 20, 20269m 25s

• Make the cost model error behave the same as v0.29.2

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#566:Pull request#1571openedbyTristonianJones
  TristonianJones:cost-model-err-msg

  Oct 20, 202613m 36s
  More actions for workflow run 566

• Make the cost model error behave the same as v0.29.2

  completed successfully:
  GitHub Actions Scan#431:Pull request#1571openedbyTristonianJones
  Oct 20, 202613m 10s
  More actions for workflow run 431

• Updates to the 'Length' estimation reasoning

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#565:Pull request#1570openedbyTristonianJones
  TristonianJones:cost-model-soundness

  Oct 20, 202645s
  More actions for workflow run 565