Commit 44959eba authored by François Bobot's avatar François Bobot
Browse files

Add COLIBRI smtlib description

parent f6589085
Pipeline #46664 failed with stage
in 2 minutes and 36 seconds
......@@ -63,6 +63,7 @@ pages:
stage: deploy
script:
- JEKYLL_ENV="production" bundle exec jekyll build -d public --future
- mv public/assets/pdf/colibri_smt_comp_2022.pdf public/colibri_smt_comp_2022.pdf
- ./download_doc.sh public
artifacts:
paths:
......
Supports Markdown
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