Code

CI Linux: Replace use of pkill#36726

Code

Merged

vbraun merged 3 commits intosagemath:developsagemath/sage:developfrom mkoeppe:ci_self_destruct_without_pkillmkoeppe/sage:ci_self_destruct_without_pkillCopy head branch name to clipboardFeb 2, 2024

+10-1

Commits

Commits on Dec 19, 2023

• .github/workflows/docker.yml: Replace use of pkill (not present e.g. on debian-sid-minimal)

  mkoeppe

  committed
  92dec80

  Copy full SHA for 92dec80

• .github/workflows/docker.yml: Use bash instead of sh

  mkoeppe

  committed
  f64f98c

  Copy full SHA for f64f98c

• .github/workflows/docker.yml: Add documentation

  mkoeppe

  committed
  09084da

  Copy full SHA for 09084da