ci: accept notification from Dashboard (!1187) · Merge requests · OpenHW Group / backup-20241120 / cva6 · GitLab

Eclipse Webmaster requested to merge github/fork/cathales/dashboard into master Apr 14, 2023

Created by: cathales

This PR is the same as https://github.com/openhwgroup/core-v-verif/pull/1810 but only the GitHub-side part is needed for this repository.

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent