diff options
| author | Pierrick Hymbert <pierrick.hymbert@gmail.com> | 2024-04-01 12:36:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-01 12:36:40 +0200 |
| commit | 226e819371eec0f298d9075198394a07b23ecfa9 (patch) | |
| tree | 28aa8801ca1d3e2dd9c23e80a06c458887f93e33 /scripts/install-oneapi.bat | |
| parent | c50a82ce0f71558cbb8e555146ba124251504b38 (diff) | |
ci: server: verify deps are coherent with the commit (#6409)
* ci: server: verify deps are coherent with the commit
* ci: server: change the ref to build as now it's a pull event target
Diffstat (limited to 'scripts/install-oneapi.bat')
0 files changed, 0 insertions, 0 deletions