Test

docs: Hypen instead of underscore #1663

Sign in to view logs

Triggered via pull request January 28, 2025 14:56

igamigo

opened #703

igamigo-patch-docs

Status Success

Total duration 33m 56s

Artifacts –

test.yml

on: pull_request

Run integration tests on ubuntu-latest

Run integration tests for web client on ubuntu-22.04

Run integration tests for remote prover on ubuntu-22.04