Commit 7ce54ef
committed
ci: send the PR base to TechEngine checks and stop tracking scores.jsonl
TechEngine #95 diffs against the PR's real base instead of a hard-coded
origin/develop (release PRs reported no changes) or origin/main (develop
PRs over-counted). Pass base_ref/base_sha from the validation relay,
verify-report and /verify. scores.jsonl is a 43 MB generated cache that
TechEngine no longer reads from git; untrack and ignore it.
Refs #11 parent a9addb5 commit 7ce54ef
5 files changed
Lines changed: 11 additions & 105800 deletions
File tree
- .github/workflows
- data/_verify/state
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
| 43 | + | |
| 44 | + | |
43 | 45 | | |
44 | 46 | | |
45 | 47 | | |
| |||
60 | 62 | | |
61 | 63 | | |
62 | 64 | | |
| 65 | + | |
| 66 | + | |
63 | 67 | | |
64 | 68 | | |
65 | 69 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
50 | 50 | | |
51 | 51 | | |
52 | 52 | | |
| 53 | + | |
| 54 | + | |
53 | 55 | | |
54 | 56 | | |
55 | 57 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
| 47 | + | |
| 48 | + | |
47 | 49 | | |
48 | 50 | | |
49 | 51 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
0 commit comments