Code

Build Redhat CI in debug mode#746

Code

Closed

garth-wells wants to merge 8 commits intomainFEniCS/basix:mainfrom ci-debugFEniCS/basix:ci-debugCopy head branch name to clipboard

+1-1

Commits

Commits on Nov 25, 2023

• Build Redhat CI in debug mode

  garth-wells

  committed
  91f8322

  Copy full SHA for 91f8322

• Fix typo

  garth-wells

  committed
  eda445d

  Copy full SHA for eda445d

Commits on Nov 26, 2023

• Merge remote-tracking branch 'origin/main' into ci-debug

  garth-wells

  committed
  26c7f7e

  Copy full SHA for 26c7f7e

Commits on Dec 24, 2023

• Merge branch 'main' into ci-debug

  garth-wells

  authored
  992ab7b

  Copy full SHA for 992ab7b

Commits on Jan 23, 2024

• Merge branch 'main' into ci-debug

  jhale

  authored
  7594aab

  Copy full SHA for 7594aab

Commits on Feb 9, 2024

• Merge branch 'main' into ci-debug

  jhale

  authored
  597a7a6

  Copy full SHA for 597a7a6

Commits on Mar 3, 2024

• Merge branch 'main' into ci-debug

  garth-wells

  authored
  31d46a9

  Copy full SHA for 31d46a9

• Merge branch 'main' into ci-debug

  garth-wells

  authored
  8b61955

  Copy full SHA for 8b61955