[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] 729825: Fix Codecov upload
From:       MartinNowack <noreply () github ! com>
Date:       2020-12-02 21:02:57
Message-ID: klee/klee/push/refs/heads/master/c51ffc-729825 () github ! com
[Download RAW message or body]


*******************
This email originates from outside Imperial. Do not click on links and attachments \
unless you recognise the sender.  If you trust the sender, add them to your safe \
senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping \
                for this address.
*******************
  Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: 729825e1c80eb6a21441fa4d55c967549e231e1f
      https://github.com/klee/klee/commit/729825e1c80eb6a21441fa4d55c967549e231e1f
  Author: Martin Nowack <m.nowack@imperial.ac.uk>
  Date:   2020-12-02 (Wed, 02 Dec 2020)

  Changed paths:
    M .github/workflows/build.yaml

  Log Message:
  -----------
  Fix Codecov upload

`sudo` invocation in Github Actions does not provide environment variables,
therefore Codecov was not aware of the correct settings.

This behaviour is different under Github Actions than Travis CI.
This could be fixed via `sudo -E`.
Anyway, tests do not need to be run `sudo` with Github Actions,
so remove the `sudo` invocation in the first place.



_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]