CI: the coverage shards sometimes run out of disk before the swap file is made

Aperta
#442 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
42/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Attiva
Stack tecnologico
github-actions, linux, ubuntu

Direzione di ricerca

The failing step is Add swap in .github/workflows/ci.yml, and the same change is needed in the swap step of wheels.yml. Start by reading both swap steps and the coverage job's matrix, then check which preinstalled directories the job actually uses. Done when the coverage shards get past Add swap on a full runner, with df -h / printed in the step.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

bug priority: medium testing

The coverage shards on ubuntu runners sometimes fail after about 45 s because the runner's disk is full. The Add swap step (.github/workflows/ci.yml) cannot allocate its 12 GB swap file, and every later step is skipped. The runner log ends with:

System.IO.IOException: No space left on device : '/home/runner/actions-runner/cached/.../_diag/Worker_....log'

On 2026-11-02 it hit coverage (2/6) on PRs #426, #427 and #437. In each case a rerun of the job passed, which points to the runner's free space varying from image to image rather than to the PR.

To do

  • Free space before the Add swap step, for example by removing the preinstalled toolchains the job doesn't use (/usr/share/dotnet, /usr/local/lib/android, /opt/ghc), or size the swap file from df instead of a fixed 12G.
  • Print df -h / in the step, so a failure shows how much space was free.
  • Apply the same change to the swap step in wheels.yml.

Done when

The coverage shards no longer fail at Add swap for lack of disk space.

🤖 Generated with Claude Code

Lingua principale
Python
Stelle
3
Fork
3
Merge medio
8h 37m
PR unite (30g)
159

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di LupoLab/solprop

Tutte le issue di LupoLab/solprop

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.