All workflows

Workflow runs

• Refactor general expression conversion into per-class to_scip_expr …

  completed successfully:
  Check type stubs#745:Commite780fe4pushedbygithub-merge-queue[bot]Bot
  master

  Oct 25, 20262m 42s
  More actions for workflow run 745

• Refactor general expression conversion into per-class to_scip_expr …

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

  Oct 25, 20265m 0s
  More actions for workflow run 2089

• Run tests with coverage

  completed successfully:
  Run tests with coverage#2088:Merge group checks requested
  Oct 25, 20265m 13s
  More actions for workflow run 2088

• Integration test

  completed successfully:
  Integration test#934:Merge group checks requested
  Oct 25, 20267m 18s
  More actions for workflow run 934

• Refactor general expression conversion into per-class to_scip_expr

  completed successfully:
  Integration test#933:Pull request#1268synchronizebyJoao-Dionisio
  Zeroto521:to-scipexpr

  Oct 25, 20265s
  More actions for workflow run 933

• Refactor general expression conversion into per-class to_scip_expr

  completed successfully:
  Run tests with coverage#2087:Pull request#1268synchronizebyJoao-Dionisio
  Zeroto521:to-scipexpr

  Oct 25, 20264m 56s
  More actions for workflow run 2087

• Refactor general expression conversion into per-class to_scip_expr

  completed successfully:
  Check type stubs#744:Pull request#1268synchronizebyJoao-Dionisio
  Zeroto521:to-scipexpr

  Oct 25, 20262m 36s
  More actions for workflow run 744

• Get counted sols (#1270)

  completed successfully:
  Check type stubs#743:Commit6a81433pushedbyJoao-Dionisio
  master

  Oct 25, 20263m 1s
  More actions for workflow run 743

• Get counted sols (#1270)

  completed successfully:
  Run tests with coverage#2086:Commit6a81433pushedbyJoao-Dionisio
  master

  Oct 25, 20264m 40s
  More actions for workflow run 2086

• Get counted sols

  completed successfully:
  Check type stubs#742:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 202615m 7s
  More actions for workflow run 742

• Get counted sols

  completed successfully:
  Integration test#932:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 20266s
  More actions for workflow run 932

• Get counted sols

  completed successfully:
  Run tests with coverage#2085:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 20265m 15s
  More actions for workflow run 2085

• Get counted sols

  completed successfully:
  Run tests with coverage#2084:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 20263m 24s
  More actions for workflow run 2084

• Get counted sols

  completed successfully:
  Integration test#931:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 20266s
  More actions for workflow run 931

• Get counted sols

  completed successfully:
  Check type stubs#741:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 20263m 2s
  More actions for workflow run 741

• Get counted sols

  completed successfully:
  Check type stubs#740:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 20262m 54s
  More actions for workflow run 740

• Get counted sols

  completed successfully:
  Run tests with coverage#2083:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 20264m 49s
  More actions for workflow run 2083

• Get counted sols

  completed successfully:
  Integration test#930:Pull request#1270synchronizebyJoao-Dionisio
  get-counted-sols

  Oct 25, 20267s
  More actions for workflow run 930

• Convert old-style Cython properties to @property (#1279)

  completed successfully:
  Check type stubs#739:Commitfc8e91dpushedbygithub-merge-queue[bot]Bot
  master

  Oct 25, 20261m 55s
  More actions for workflow run 739

• Convert old-style Cython properties to @property (#1279)

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

  Oct 25, 20263m 3s
  More actions for workflow run 2082

• Run tests with coverage

  completed successfully:
  Run tests with coverage#2081:Merge group checks requested
  Oct 25, 20264m 4s
  More actions for workflow run 2081

• Integration test

  completed successfully:
  Integration test#929:Merge group checks requested
  Oct 25, 20268m 41s
  More actions for workflow run 929

• Convert old-style Cython properties to @property

  completed successfully:
  Check type stubs#738:Pull request#1279synchronizebyJoao-Dionisio
  Zeroto521:py-property

  Oct 25, 20263m 3s
  More actions for workflow run 738

• Convert old-style Cython properties to @property

  completed successfully:
  Integration test#928:Pull request#1279synchronizebyJoao-Dionisio
  Zeroto521:py-property

  Oct 25, 20265s
  More actions for workflow run 928

• Convert old-style Cython properties to @property

  completed successfully:
  Run tests with coverage#2080:Pull request#1279synchronizebyJoao-Dionisio
  Zeroto521:py-property

  Oct 25, 20265m 5s
  More actions for workflow run 2080