new name for the Gillian lab · GillianPlatform/Gillian@d30b852

Triggered via push December 18, 2024 15:10

master

Status Success

Total duration 13m 47s

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