Code

Gcc devshell#84

Code

Merged

jacg merged 6 commits intomasterjacg/nain4:masterfrom gcc-devshelljacg/nain4:gcc-devshellCopy head branch name to clipboardAug 17, 2023

+26-12

Commits

Commits on Aug 17, 2023

• Add second devShell with gcc instead of clang

  jacg

  committed
  c783f24

  Copy full SHA for c783f24

• Give the default devShell an explicit name (clang)

  jacg

  committed
  beeafec

  Copy full SHA for beeafec

• Add clang/gcc devshells to GHA matrix

  jacg

  committed
  abf76e9

  Copy full SHA for abf76e9

• Add .# to devshell spec

  jacg

  committed
  3dc4218

  Copy full SHA for 3dc4218

• Allow failure on gcc

  jacg

  committed
  99a5881

  Copy full SHA for 99a5881

• Only run nix-shell on clang

  jacg

  committed
  5456860

  Copy full SHA for 5456860