codeql

Workflow runs for codeql

• codeql

  completed successfully:
  codeql#453:Scheduled
  main

  Nov 8, 20261m 46s
  More actions for workflow run 453

• test(tools): ask for K0604 when an assignment's right empties the array

  completed successfully:
  codeql#452:Pull request#263openedbysiracozmen01
  shrink-row

  Nov 8, 20265m 25s
  More actions for workflow run 452

• fix(std)!: round an f64 to the nearest whole number

  completed successfully:
  codeql#451:Pull request#261openedbysiracozmen01
  round-nearest

  Nov 8, 20265m 25s
  More actions for workflow run 451

• ci(bench): keep Lua's source pinned and cached for the determinism run

  completed successfully:
  codeql#450:Pull request#260openedbysiracozmen01
  lua-pinned

  Nov 8, 202615m 23s
  More actions for workflow run 450

• chore: release 0.7.0 (#255)

  completed successfully:
  codeql#449:Commit22879efpushedbysiracozmen01
  main

  Nov 5, 202619m 59s
  More actions for workflow run 449

• chore: release 0.7.0

  completed successfully:
  codeql#448:Pull request#255synchronizebysiracozmen01
  release-please--branches--main--components--kest

  Nov 5, 202615m 31s
  More actions for workflow run 448

• chore: release 0.7.0

  completed successfully:
  codeql#447:Pull request#255synchronizebyrawframe-release[bot]Bot
  release-please--branches--main--components--kest

  Nov 5, 202610m 8s
  More actions for workflow run 447

• fix(compiler)!: write a run inside one of a run at two running indexe…

  completed successfully:
  codeql#446:Commit9702918pushedbysiracozmen01
  main

  Nov 5, 202612m 17s
  More actions for workflow run 446

• fix(compiler)!: write a run inside one of a run at two running indexes

  completed successfully:
  codeql#445:Pull request#257openedbysiracozmen01
  run-in-a-field

  Nov 5, 20265m 58s
  More actions for workflow run 445

• chore: release 0.7.0

  completed successfully:
  codeql#444:Pull request#255synchronizebyrawframe-release[bot]Bot
  release-please--branches--main--components--kest

  Nov 5, 202615m 28s
  More actions for workflow run 444

• fix(compiler)!: write runs of runs and local runs at running indexes …

  completed successfully:
  codeql#443:Commitcd939e9pushedbysiracozmen01
  main

  Nov 5, 202616m 30s
  More actions for workflow run 443

• fix(compiler)!: write runs of runs and local runs at running indexes

  completed successfully:
  codeql#442:Pull request#256openedbysiracozmen01
  run-of-runs

  Nov 5, 202618m 58s
  More actions for workflow run 442

• chore: release 0.7.0

  completed successfully:
  codeql#441:Pull request#255openedbyrawframe-release[bot]Bot
  release-please--branches--main--components--kest

  Nov 5, 202614m 49s
  More actions for workflow run 441

• fix(verifier)!: find a run inside one of a run at a running index (#254)

  completed successfully:
  codeql#440:Commitb95fbf3pushedbysiracozmen01
  main

  Nov 5, 202632m 57s
  More actions for workflow run 440

• fix(verifier)!: find a run inside one of a run at a running index

  completed successfully:
  codeql#439:Pull request#254synchronizebysiracozmen01
  run-in-one-of-a-run

  Nov 5, 202616m 9s
  More actions for workflow run 439

• fix(verifier)!: find a run inside one of a run at a running index

  completed successfully:
  codeql#438:Pull request#254openedbysiracozmen01
  run-in-one-of-a-run

  Nov 5, 202617m 2s
  More actions for workflow run 438

• chore: release 0.6.0 (#248)

  completed successfully:
  codeql#437:Commitbbb1ca5pushedbysiracozmen01
  main

  Nov 5, 202616m 31s
  More actions for workflow run 437

• chore: release 0.6.0

  completed successfully:
  codeql#436:Pull request#248synchronizebysiracozmen01
  release-please--branches--main--components--kest

  Nov 5, 202611m 34s
  More actions for workflow run 436

• chore: release 0.6.0

  completed successfully:
  codeql#435:Pull request#248synchronizebyrawframe-release[bot]Bot
  release-please--branches--main--components--kest

  Nov 4, 20263m 6s
  More actions for workflow run 435

• fix(compiler)!: write a run inside an element at a running index (#250)

  completed successfully:
  codeql#434:Commitd692b17pushedbysiracozmen01
  main

  Nov 4, 202616m 38s
  More actions for workflow run 434

• fix(compiler)!: write a run inside an element at a running index

  completed successfully:
  codeql#433:Pull request#250synchronizebysiracozmen01
  run-write

  Nov 4, 20265m 41s
  More actions for workflow run 433

• fix(compiler)!: write a run inside an element at a running index

  completed successfully:
  codeql#432:Pull request#250openedbysiracozmen01
  run-write

  Nov 4, 202612m 8s
  More actions for workflow run 432

• chore: release 0.6.0

  completed successfully:
  codeql#431:Pull request#248synchronizebyrawframe-release[bot]Bot
  release-please--branches--main--components--kest

  Nov 4, 202613m 48s
  More actions for workflow run 431

• perf(vm): walk a truth or set read through an address only in a lend …

  completed successfully:
  codeql#430:Commitca6f9c2pushedbysiracozmen01
  main

  Nov 4, 202621m 18s
  More actions for workflow run 430

• chore: release 0.6.0

  completed successfully:
  codeql#429:Pull request#248openedbyrawframe-release[bot]Bot
  release-please--branches--main--components--kest

  Nov 4, 20265m 56s
  More actions for workflow run 429