diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-06-29 12:48:41 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-06-29 13:08:06 +0200 |
| commit | 246486082df5c78ede60e6523f88092eac3bb64f (patch) | |
| tree | 3ec4255a7efdb9e6bc9cbcd7de464cc1ecf7db6c /.github/workflows | |
| parent | a39ce5d20d540b2a12a36ad5cf5f058999fcb4bf (diff) | |
Check release fits in a floppy disk of 1.44 MB
For now we check gzip as it is widely available and has a medium
compression ratio.
Fixes: https://github.com/dillo-browser/dillo/issues/208
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 48bc21b9..c99b256e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -30,6 +30,20 @@ jobs: run: | export DILLOBIN=$(readlink -f install/bin/dillo) cd build && make check || (cat test/html/test-suite.log; false) + export DILLOBIN= + - name: Check release fits in a floppy disk of 1.44 MB + run: | + cd build + make dist-gzip + size=$(stat -c %s dillo-*.tar.gz) + floppy=1474560 + echo "Floppy occupation: $(($size * 100 / $floppy)) %" + if [ $size -lt $floppy ]; then + echo 'OK: Fits in floopy disk' + else + echo "FAIL: Release size too big: $size / $floppy" + exit 1 + fi - name: make distcheck (with HTML tests) run: | export DILLOBIN= |