diff options
author | iTitou <moiandme@gmail.com> | 2021-01-20 12:13:04 +0100 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2021-02-01 11:20:18 +1100 |
commit | b8f5f5cd85e83fd136fac5e90ed5d486c2924a42 (patch) | |
tree | f6b2c1e41eac421c59a4f367a7ed81fe031d8864 | |
parent | 4fb5f012c32a2ed394091039a7213472001a98c9 (diff) |
github/workflows/ports_unix.yml: Add job for a reproducible build.
With a check for reproducible build date. Invocation of the test suite is
not needed because it's already run in another job.
Signed-off-by: iTitou <moiandme@gmail.com>
-rw-r--r-- | .github/workflows/ports_unix.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.github/workflows/ports_unix.yml b/.github/workflows/ports_unix.yml index 552fd72d8..eb1416045 100644 --- a/.github/workflows/ports_unix.yml +++ b/.github/workflows/ports_unix.yml @@ -26,6 +26,17 @@ jobs: if: failure() run: tests/run-tests --print-failures + reproducible: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: Build with reproducible date + run: source tools/ci.sh && ci_unix_minimal_build + env: + SOURCE_DATE_EPOCH: 1234567890 + - name: Check reproducible build date + run: echo | ports/unix/micropython-minimal -i | grep 'on 2009-02-13;' + standard: runs-on: ubuntu-latest steps: |