Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

Commit 2541d5f5 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain
Browse files

diff check on messages generated by menhir only when dune builds with the dev profile

parent c87c3ff7
(lang dune 1.0)
(lang dune 1.1)
(using menhir 1.0)
(lang dune 1.0)
(profile release)
\ No newline at end of file
(lang dune 1.1)
......@@ -46,6 +46,7 @@
;; after updating the grammar
(alias
(name update)
(enabled_if (= %{profile} dev))
(action (diff data_parser.messages data_parser.messages.new))
)
......@@ -66,7 +67,7 @@
(library
(name grammars)
(flags (:standard -w -58))
(modules (:standard \ acgc interactive term_test))
(modules (:standard \ acgc interactive term_test entry))
(libraries
menhirLib
logic
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment