Stream: jsCoq

Topic: CI Tests for addons

view this post on Zulip Shachar Itzhaky (Jan 22 2021 at 22:51):

I am working on some integration tests; here's one suite I made for SF: https://jscoq.github.io/ext/sf/tools/jscoq-tester.html
I want to make similar tests for other packages, such as mathcomp, elpi, equations, etc. Problem is, I don't even know how to use most of these packages. Anyone willing to contribute development that can be used as such a test will be rewarded with eternal fame! I.e. their snippets will be added to our CI diagnostics page:
https://jscoq.github.io/ci/diagnostics.html

Thanks! ¡Gracias! Merci!

view this post on Zulip Enrico Tassi (Jan 23 2021 at 13:03):

You could use the smoke tests of the platform, see https://github.com/coq/platform/blob/master/shell_scripts/create_smoke_test_kit.sh for the script creating them and here is a ci job using them https://github.com/coq/platform/blob/master/.github/workflows/ci.yml#L150-L160

coq/platform
Multi platform setup for Coq, Coq libraries and tools - coq/platform
coq/platform
Multi platform setup for Coq, Coq libraries and tools - coq/platform

view this post on Zulip Shachar Itzhaky (Jan 24 2021 at 11:11):

Thanks! I will look into it!

Last updated: May 31 2023 at 04:01 UTC