Skip to content

Update the stale workflow configuration - #884

Open
tueda wants to merge 1 commit into
form-dev:masterfrom
tueda:pr/ci/update-stale-workflow
Open

Update the stale workflow configuration#884
tueda wants to merge 1 commit into
form-dev:masterfrom
tueda:pr/ci/update-stale-workflow

Conversation

@tueda

@tueda tueda commented Jul 31, 2026

Copy link
Copy Markdown
Collaborator

The stale workflow introduced in #853 has completed its initial pass over the existing issues. We can now increase the operations-per-run limit from 15 to the default value of 30 (we could instead set it to a higher value, say, 100).

This PR also updates the cron schedule to avoid receiving stale notifications on weekends.

@tueda

tueda commented Jul 31, 2026

Copy link
Copy Markdown
Collaborator Author

Somehow the Issue512_3 test failed for tform -w2:

===============================================================================
Issue512_3 (fixes.frm:3127) FAILED
===============================================================================
TFORM 5.0.1 (Jul 22 2026, v5.0.1-25-gdccfb0a) 2 workers  Run: Fri Jul 31 09:48:14 2026
    #-

Time =       0.00 sec    Generated terms =      52500
            test         Terms in output =      52500
                         Bytes used      =    1267016
Please increase SmallExtension setup parameter.
Program terminating in thread 1 at 1.frm Line 15 --> 
Terminate called from sort.c:2040 (AddPoly)
  0.63 sec + 0.25 sec: 0.88 sec out of 0.65 sec
===============================================================================

Re-running the job succeeded, but then this Valgrind job messed up the cache:

Clean installing and caching 3 package(s).
    
    Package list:
    - libmpfr-dev=4.2.1-1build1.1
    - libzstd-dev=1.5.5+dfsg2-2build1.1
    - valgrind=1:3.22.0-0ubuntu3
    Writing main packages manifest to /home/runner/cache-apt-pkgs/manifest_main.log...
    done
    
    Clean installing 3 packages...
    E: Failed to fetch mirror+file:/etc/apt/apt-mirrors.txt/pool/main/g/glibc/libc6-dbg_2.39-0ubuntu8.7_amd64.deb  404  Not Found [IP: 52.252.75.106 80]
    E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
    done
    /usr/bin/tar --posix -cf cache.tzst --exclude cache.tzst -P -C /home/runner/work/form/form --files-from manifest.txt --use-compress-program zstdmt
    Sent 1305 of 1305 (100.0%), 0.0 MBs/sec
    Cache saved with key: cache-apt-pkgs_afbe0d3042c94273051a4cb20c51d1f8

This looks like a bug in the APT package caching action: it fails to detect errors from apt-fast install and proceeds to save the cache entry. The root cause of the problem is 404 Not Found, but it also results in a broken cache entry of only 1.3 KB.

Hopefully, the 404 error is temporary...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant