All workflows

Workflow runs

• Replace SCIP constant classes with IntEnum and IntFlag

  completed successfully:
  Integration test#982:Pull request#1286synchronizebyjonathanberthias
  jonathanberthias:runtime-enums

  Nov 14, 20265s
  More actions for workflow run 982

• Replace SCIP constant classes with IntEnum and IntFlag

  completed successfully:
  Run tests with coverage#2145:Pull request#1286synchronizebyjonathanberthias
  jonathanberthias:runtime-enums

  Nov 14, 20265m 10s
  More actions for workflow run 2145

• Replace SCIP constant classes with IntEnum and IntFlag

  completed successfully:
  Check type stubs#793:Pull request#1286synchronizebyjonathanberthias
  jonathanberthias:runtime-enums

  Nov 14, 20262m 48s
  More actions for workflow run 793

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Integration test#981:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 13, 20266s
  More actions for workflow run 981

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Run tests with coverage#2144:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 13, 20263m 57s
  More actions for workflow run 2144

• SCIP 11: Split Model into BaseModel and Model

  failed:
  Check type stubs#792:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 13, 20262m 42s
  More actions for workflow run 792

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Integration test#980:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20267s
  More actions for workflow run 980

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Check type stubs#791:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20262m 56s
  More actions for workflow run 791

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Run tests with coverage#2143:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20265m 7s
  More actions for workflow run 2143

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Integration test#979:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20265s
  More actions for workflow run 979

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Check type stubs#790:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20263m 3s
  More actions for workflow run 790

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Run tests with coverage#2142:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20264m 28s
  More actions for workflow run 2142

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Run tests with coverage#2141:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20264m 8s
  More actions for workflow run 2141

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Integration test#978:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20266s
  More actions for workflow run 978

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Check type stubs#789:Pull request#1292synchronizebyJoao-Dionisio
  base-model

  Nov 12, 20263m 9s
  More actions for workflow run 789

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Integration test#977:Pull request#1292openedbyJoao-Dionisio
  base-model

  Nov 12, 20266s
  More actions for workflow run 977

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Run tests with coverage#2140:Pull request#1292openedbyJoao-Dionisio
  base-model

  Nov 12, 20264m 10s
  More actions for workflow run 2140

• SCIP 11: Split Model into BaseModel and Model

  completed successfully:
  Check type stubs#788:Pull request#1292openedbyJoao-Dionisio
  base-model

  Nov 12, 20263m 10s
  More actions for workflow run 788

• SCIP 11

  completed successfully:
  Integration test#976:Pull request#1291openedbyJoao-Dionisio
  scip11

  Nov 12, 20266s
  More actions for workflow run 976

• SCIP 11

  completed successfully:
  Check type stubs#787:Pull request#1291openedbyJoao-Dionisio
  scip11

  Nov 12, 202610s
  More actions for workflow run 787

• SCIP 11

  skipped:
  Run tests with coverage#2139:Pull request#1291openedbyJoao-Dionisio
  scip11

  Nov 12, 20261s
  More actions for workflow run 2139

• fix varMayRound and add a regression test (#1287)

  completed successfully:
  Check type stubs#786:Commit3920a7epushedbygithub-merge-queue[bot]Bot
  master

  Nov 12, 20261m 47s
  More actions for workflow run 786

• fix varMayRound and add a regression test (#1287)

  completed successfully:
  Run tests with coverage#2138:Commit3920a7epushedbygithub-merge-queue[bot]Bot
  master

  Nov 12, 20264m 1s
  More actions for workflow run 2138

• Integration test

  completed successfully:
  Integration test#975:Merge group checks requested
  Nov 12, 20269m 54s
  More actions for workflow run 975

• Run tests with coverage

  completed successfully:
  Run tests with coverage#2137:Merge group checks requested
  Nov 12, 20264m 4s
  More actions for workflow run 2137