Gillian-JS symbolic testing documentation for website · GillianPlatform/Gillian@649f1e0

Triggered via push December 11, 2024 08:47

master

Status Success

Total duration 13m 16s

Artifacts 3

ci.yml

on: push

Matrix: build

Matrix: collections-c

Matrix: deploy-docs

Matrix: gillian_c2_tests

Matrix: gillian_c_tests

Matrix: gillian_js_tests

Matrix: test262

6 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime