suri-framework/nomad

Automate running Autobahn on CI

Open

#2 opened on 2024年3月1日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)OCaml (4 forks)github user discovery
good first issuehelp wanted

Repository metrics

Stars
 (29 stars)
PR merge metrics
 (PR metrics pending)

説明

Currently we've only ran the Autobahn tests manually, by executing the test/autobahn/server.ml and in parallel run the test/autobahn/run script.

This will spin up a sample WebSocket server that we need to grow to accommodate for all the use-cases that the Autobahn test suite requires to prove that our implementation passes specification.

The reports generated by Autobahn can then be uploaded as artifacts from the Github Actions Workflow, and we can use them to keep track of compliance.

For an example of how to do this, see: https://github.com/mtrudel/bandit/blob/main/.github/workflows/autobahn.yml

NOTE this issue is just to run Autobahn, and does not require you to make the Autobahn test suite PASS. However, if you see any failures, report them to https://github.com/suri-framework/nomad/issues/3

コントリビューターガイド