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

贡献者指南