Skip to content

Make sure profiling flag can be switched locally #1585

Make sure profiling flag can be switched locally

Make sure profiling flag can be switched locally #1585

Triggered via pull request June 19, 2024 10:22
Status Success
Total duration 19m 28s
Artifacts 1

build.yaml

on: pull_request
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

1 warning
tests (buildjet-4vcpu-ubuntu-2204-arm)
Codecov: Failed to properly create commit: The process '/home/runner/actions-runner/_work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 2

Artifacts

Produced during runtime
Name Size
rascal-1981-755c6c40ff770a11ddc27df8a0f3a46b3c5c035d
71.6 MB