This project is mirrored from https://gitee.com/gongwenhong/axi-pulp.git.
Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
- 14 Jan, 2021 2 commits
-
-
Andreas Kurth authored
For `pull_request` events, `GITHUB_SHA` is not the SHA of the HEAD commit of the pull request branch but of the merge commit created by GitHub [1]. Apparently, this is even the case when there is no merge commit because the action checks out the HEAD commit (bug?). [1]: https://docs.github.com/en/free-pro-team@latest/actions/reference/events-that-trigger-workflows#pull_request
-
Andreas Kurth authored
-
- 13 Jan, 2021 1 commit
-
-
Andreas Kurth authored
-
- 11 Jan, 2021 1 commit
-
-
Andreas Kurth authored
-
- 26 Oct, 2020 1 commit
-
-
Andreas Kurth authored
-