Remove Asrt.Star (fix #159) · GillianPlatform/Gillian@df0be14

Triggered via pull request December 21, 2024 10:48

N1ark

synchronize #316

N1ark:asrt-simple-list

Status Success

Total duration 42m 18s

Artifacts 3

ci.yml

on: pull_request

Matrix: build

Matrix: collections-c

Matrix: deploy-docs

Matrix: gillian_c2_tests

Matrix: gillian_c_tests

Matrix: gillian_js_tests

Matrix: test262

7 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

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

Produced during runtime