diff options
author | Takashi Kokubun <takashikkbn@gmail.com> | 2023-01-30 23:39:33 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-30 23:39:33 -0800 |
commit | 337189598af28297402b57df5ed1104ed336c15c (patch) | |
tree | 5ce56eac31eb819a5dbdce1f2d48dedf51ae3b95 /tool | |
parent | 6d1077974f39f216c80217f4957f089f3aa2094f (diff) |
Fix a broken matrix (#7207)
$arch and $configure seem to be just ignored in #7205.
Notes
Notes:
Merged-By: k0kubun <takashikkbn@gmail.com>
Diffstat (limited to 'tool')
0 files changed, 0 insertions, 0 deletions