suri-framework/nomad

Automate running Autobahn on CI

Open

#2 建立於 2024年3月1日

在 GitHub 查看
 (0 留言) (0 反應) (0 負責人)OCaml (4 fork)github user discovery
good first issuehelp wanted

倉庫指標

Star
 (29 star)
PR 合併指標
 (PR 指標待抓取)

描述

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

貢獻者指南