Tweak Match_map to support branching anywhere · GillianPlatform/Gillian@5e7f88c

Triggered via pull request December 18, 2024 16:56

NatKarmios

synchronize #325

nat/lab-bug-fix

Status Success

Total duration 42m 11s

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