Type Checking

Workflow runs for Type Checking

• build(deps): bump github/codeql-action from 4.38.3 to 4.39.0 (#1437)

  completed successfully:
  Type Checking#456:Commitece1426pushedbythomas-mangin
  main

  Oct 19, 202618s
  More actions for workflow run 456

• build(deps): bump github/codeql-action from 4.38.3 to 4.39.0

  completed successfully:
  Type Checking#455:Pull request#1437openedbydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action-4.39.0

  Oct 19, 202620s
  More actions for workflow run 455

• ci: the container metadata is read from the workflow, not from a deta…

  completed successfully:
  Type Checking#454:Commit685f772pushedbythomas-mangin
  main

  Oct 14, 202615m 52s
  More actions for workflow run 454

• build(deps): bump pypa/cibuildwheel from 4.2.1 to 4.3.1 (#1434)

  completed successfully:
  Type Checking#453:Commitea80d73pushedbythomas-mangin
  main

  Oct 14, 202615m 25s
  More actions for workflow run 453

• build(deps): bump github/codeql-action from 4.38.2 to 4.38.3 (#1435)

  completed successfully:
  Type Checking#452:Commit1ded5d5pushedbythomas-mangin
  main

  Oct 14, 202622s
  More actions for workflow run 452

• build(deps): bump github/codeql-action from 4.38.2 to 4.38.3

  completed successfully:
  Type Checking#451:Pull request#1435openedbydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action-4.38.3

  Oct 13, 20262m 2s
  More actions for workflow run 451

• build(deps): bump pypa/cibuildwheel from 4.2.1 to 4.3.1

  completed successfully:
  Type Checking#450:Pull request#1434openedbydependabot[bot]Bot
  dependabot/github_actions/pypa/cibuildwheel-4.3.1

  Oct 13, 202621s
  More actions for workflow run 450

• ci: a release image no longer takes the latest tag, which is main's

  completed successfully:
  Type Checking#449:Commit3a031e2pushedbythomas-mangin
  main

  Oct 13, 202623s
  More actions for workflow run 449

• ci: a release image is built from its tag push, and a branch image fr…

  completed successfully:
  Type Checking#448:Commit338cc31pushedbythomas-mangin
  main

  Oct 13, 202620s
  More actions for workflow run 448

• memory: release names, 5.0.14 is 'Package', 5.0.15 will be 'Bow'

  completed successfully:
  Type Checking#447:Commitb6bf808pushedbythomas-mangin
  main

  Oct 12, 202621s
  More actions for workflow run 447

• fix: the metadata cache test checks the cached object, not the time o…

  completed successfully:
  Type Checking#446:Commit5cdb770pushedbythomas-mangin
  main

  Oct 12, 202620s
  More actions for workflow run 446

• plan: Python 3.15 is done, uv follows .python-version, a CI matrix se…

  completed successfully:
  Type Checking#445:Commit0a38055pushedbythomas-mangin
  main

  Oct 12, 202620s
  More actions for workflow run 445

• fix: an API helper exits when ExaBGP goes away, it no longer spins

  completed successfully:
  Type Checking#444:Commitf27e5f3pushedbythomas-mangin
  main

  Oct 12, 202626s
  More actions for workflow run 444

• fix: Python 3.15 installs, libcst 1.8.6 can not be built for it

  completed successfully:
  Type Checking#443:Commitcbecf64pushedbythomas-mangin
  main

  Oct 12, 202620s
  More actions for workflow run 443

• ci: test Python 3.15, and test 3.13 and 3.14 for the first time

  completed successfully:
  Type Checking#442:Commit6326abepushedbythomas-mangin
  main

  Oct 12, 202623s
  More actions for workflow run 442

• fix: CI is green again, each failure found at its root, none skipped

  completed successfully:
  Type Checking#441:Commit090638epushedbythomas-mangin
  main

  Oct 10, 202619s
  More actions for workflow run 441

• plan: the quirks wiki pages are on the wiki, a codeberg refspec hid them

  completed successfully:
  Type Checking#440:Commit829e1d0pushedbythomas-mangin
  main

  Oct 9, 202618s
  More actions for workflow run 440

• fix: the configuration no longer reproduces the accidents of the lega…

  completed successfully:
  Type Checking#439:Commit7657c7fpushedbythomas-mangin
  main

  Oct 9, 202621s
  More actions for workflow run 439

• fix: an md5-password the socket can not take is refused when the conf…

  completed successfully:
  Type Checking#438:Commit297fb58pushedbythomas-mangin
  main

  Oct 9, 202622s
  More actions for workflow run 438

• doc: the wiki syntax reference shows the help of one statement

  completed successfully:
  Type Checking#437:Commitd425a56pushedbythomas-mangin
  main

  Oct 9, 202618s
  More actions for workflow run 437

• fix: a group command ends at a ; outside quotes and braces

  completed successfully:
  Type Checking#436:Commit899cb11pushedbythomas-mangin
  main

  Oct 8, 202617s
  More actions for workflow run 436

• feat: decode --command prints routes with the grammar, and the round …

  completed successfully:
  Type Checking#435:Commitf0b717cpushedbythomas-mangin
  main

  Oct 8, 202619s
  More actions for workflow run 435

• fix: RFC conformance, third audit: labelled withdrawals, next hops, U…

  completed successfully:
  Type Checking#434:Commit820e964pushedbythomas-mangin
  main

  Oct 8, 202616s
  More actions for workflow run 434

• qa: test_old_commands' stand-in reactor answers the families its sess…

  completed successfully:
  Type Checking#433:Commitec4bd82pushedbythomas-mangin
  main

  Oct 8, 202620s
  More actions for workflow run 433

• fix: RFC conformance, second audit: the Graceful Restart reconnection…

  completed successfully:
  Type Checking#432:Commitfc855c1pushedbythomas-mangin
  main

  Oct 8, 202623s
  More actions for workflow run 432