Docker CI · coq-community/reglang@892b5e0

Triggered via schedule December 10, 2023 02:06

palmskog

master

Status Success

Total duration 2m 55s

Artifacts –

docker-action.yml

on: schedule

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