Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / belenios
Commits:
-
67612e32
by Stéphane Glondu at 2022-10-24T09:32:53+02:00
30 changed files:
- .gitlab-ci.yml
- CHANGES.md
- Dockerfile_test_scenario_environment
- Makefile
- RELEASE_NOTES.md
- VERSION
- belenios-lib.opam
- belenios-platform-js.opam
- belenios-platform-native.opam
- belenios-platform.opam
- belenios-server.opam
- belenios-tool.opam
- belenios.opam
- contrib/list_live_elections.py
- contrib/monitor_elections.py
- contrib/send_credentials.py
- doc/Continuous_Integration.md
- doc/automated_tests.md
- doc/election_test_scenario_1_specification.md
- doc/election_test_scenario_2_specification.md
- doc/election_test_scenario_3_specification.md
- doc/election_test_scenario_4_specification.md
- doc/frontend_booth.md
- doc/instructions-en.md
- doc/instructions-fr.md
- doc/nspawn/README.md
- doc/nspawn/belenios-nspawn
- doc/nspawn/belenios-stage1.sh
- doc/nspawn/belenios-stage3.sh
- doc/references.bib