diff options
| author | coqbot-app[bot] | 2020-10-27 06:13:26 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-27 06:13:26 +0000 |
| commit | 82f7cc4a408cf100fda43139c0b1d33e33748799 (patch) | |
| tree | 0ba94f42f598e352123a07aaaffc419019214f20 /kernel/nativecode.ml | |
| parent | 970d9be15074e78ab2961cfe81a668cdf09ea4f4 (diff) | |
| parent | f3a6929ee4ea62b62c7f3104b06535a5e23e3ce1 (diff) | |
Merge PR #13260: [CI cachix] Force-delete pr branches.
Reviewed-by: vbgl
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions