Merge pull request #343 from YosysHQ/krys/error-on-warning

.readthedocs.yaml

@@ -13,6 +13,7 @@ formats:
 
 sphinx:
   configuration: docs/source/conf.py
+  fail_on_warning: true
 
 python:
   install:

docs/source/verific.rst

@@ -151,7 +151,6 @@ by a SystemVerilog file ``formal_bind.sv``.
 .. _vhd_example: https://github.com/YosysHQ/sby/tree/master/docs/examples/vhd
 
 .. literalinclude:: ../examples/vhd/formal_bind.sby
-  :language: yoscrypt
   :start-after: [script]
   :end-before: [files]
   :caption: ``formal_bind.sby`` script section