use elpi version 1.18.1 (#69) · coq-community/reglang@126f815

Triggered via push January 2, 2024 13:22

palmskog

master

Status Success

Total duration 3m 3s

Artifacts –

docker-action.yml

on: push

Matrix: build

10 warnings

Overwriting previous delimiting key function in scope function_scope

Hiding binding of key FUN to fun_scope

Overwriting previous delimiting key nat in scope nat_scope

Overwriting previous delimiting key function in scope function_scope

Hiding binding of key FUN to fun_scope

Overwriting previous delimiting key nat in scope nat_scope

Overwriting previous delimiting key function in scope function_scope

Hiding binding of key FUN to fun_scope

Overwriting previous delimiting key nat in scope nat_scope

Overwriting previous delimiting key function in scope function_scope