|
|
71929e8332
|
ci: don't fail ci-comment workflow on no PR
Can easily happen on force push
|
2026-02-12 17:40:34 +00:00 |
|
|
|
fe285dc192
|
ci: fix reference to nonexistent $dir var in ci-comment workflow
|
2026-02-12 17:40:34 +00:00 |
|
|
|
67066c339e
|
ci: fix edge case in ci-comment workflow where old comment isn't deleted
|
2026-02-12 17:40:34 +00:00 |
|
|
|
26cb66c1e5
|
ci: use ubuntu-slim runner for ci comment and issue-check jobs
|
2026-01-26 12:49:16 +00:00 |
|
|
|
4f644acbca
|
ci: Use cat directly when printing PR comments
Wrapping in echo was stripping newlines.
|
2025-08-06 10:47:13 -04:00 |
|
|
|
215706fa1e
|
ci: rename ci.yml to => continuous-integration.yml
|
2024-11-12 14:10:03 +00:00 |
|
|
|
2e2523d6b8
|
ci: lookup pr number by head sha for ci comment
|
2024-09-23 20:03:37 +01:00 |
|
|
|
bd75e0a874
|
ci: use braces block for formatting in ci comment
|
2024-09-23 01:44:13 +01:00 |
|
|
|
1d90e0780a
|
ci: fixed syntax error in ci comment workflow
|
2024-09-23 01:28:40 +01:00 |
|
|
|
b1da95757b
|
ci: handle files with same name in ci comment workflow
|
2024-09-23 01:24:00 +01:00 |
|
|
|
1bfdb8f707
|
ci: check for summaries dir before building message
|
2024-09-22 23:32:17 +01:00 |
|
|
|
c362e5d8fb
|
ci: use github.event.workflow_run.id for CI summary comment
|
2024-09-22 20:48:02 +01:00 |
|
|
|
5aaea5b8ed
|
ci: add link back to workflow summary in pr comment
|
2024-09-22 20:41:31 +01:00 |
|
|
|
1d6b79741e
|
ci: add pr comment based on ci result
|
2024-09-22 19:31:01 +01:00 |
|
