diff options
| author | coqbot-app[bot] | 2020-12-02 09:41:31 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-02 09:41:31 +0000 |
| commit | b3b4d641dafe58ad04932c5bb5cc2f4f3f54d91f (patch) | |
| tree | e6081b839d134faebf821f31f705d668d44e6d15 /kernel/nativelambda.mli | |
| parent | 2eeeba76598258bd5691a9825fd888c350fbcef3 (diff) | |
| parent | c79677a99b48f85b8c79215dd35476005eea2e11 (diff) | |
Merge PR #13472: [ci] Add job for gappa
Reviewed-by: SkySkimmer
Ack-by: ejgallego
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions