use elpi version 1.18.1 · coq-community/reglang@c7e466a

Triggered via pull request January 2, 2024 11:16

CohenCyril

opened #69

CohenCyril:update-nix

Status Success

Total duration 2m 55s

Artifacts –

docker-action.yml

on: pull_request

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