mirror of
https://github.com/verilator/verilator.git
synced 2026-08-29 17:28:46 +02:00
Geza Lore
063b938f41
Notifications posted on pull requests now carry a marker naming their source, as an HTML comment on their first line, which is invisible when rendered. When posting, 'ci-pages-notify.bash' finds its own earlier notifications with the same marker on that pull request, and deletes them. A pull request therefore holds a single comment per source, rather than accumulating one per run. The superseded comments are not lost entirely. Each notification carries a one line summary linking its report, stashed in an HTML comment, and the notification superseding it inherits that summary, together with the history the superseded one held itself, into a collapsed 'Workflow history' section. That section therefore lists all the earlier reports, stays flat however many runs a pull request sees, and holds no entry for the report shown right above it. The 'pr-notification' artifact is now uploaded via the new reusable 'upload-pr-notification' action, which validates the content the reporting scripts produced, and records the source key and the pull request number alongside it. Fixes #8037