Bump etc/coq-scripts from `8b66ebe` to `2df5dbe` · mit-plv/fiat@a134c00

Triggered via push October 6, 2023 20:22

Status Success

Total duration 14m 6s

Artifacts –

docker-coq.yml

on: push

10 warnings

build: src/Common/Coq__8_4__8_5__Compat.v#L11

There is no flag or option with this name: "Template Check".

build: src/Common/Coq__8_4__8_5__Compat.v#L27

There is no flag or option with this name:

build: src/Common/Coq__8_4__8_5__Compat.v#L28

There is no flag or option with this name: "Apply With Renaming".

build: src/Common/Coq__8_4__8_5__Compat.v#L56

Use of “Require” inside a module is fragile. It is not recommended

build: src/Common/Coq__8_4__8_5__Compat.v#L57

Use of “Require” inside a module is fragile. It is not recommended

build: src/Common/Coq__8_4__8_5__Compat.v#L58

Use of “Require” inside a module is fragile. It is not recommended

build: src/Common/Coq__8_4__8_5__Compat.v#L59

Use of “Require” inside a module is fragile. It is not recommended

build: src/Common/Tactics/IsClosed.v#L1

Trying to mask the absolute name "Coq.Lists.ListSet"!

build: src/Common/Tactics/IsClosed.v#L1

Trying to mask the absolute name "Coq.Lists.ListSet"!

build: src/Common/Tactics/IsClosed.v#L1

Trying to mask the absolute name "Coq.Lists.ListSet.set_diff_nodup"!