Skip to content
Test PR

Add cheatcodes that generate symbolic variables with custom names #5116

Sign in to view logs

Add cheatcodes that generate symbolic variables with custom names

Add cheatcodes that generate symbolic variables with custom names #5116

Re-run triggered December 9, 2024 15:03
@anvacaruanvacaru
#902
set-name
Status Success
Total duration 11m 51s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
3m 14s
Code Quality Checks
Unit Tests
3m 2s
Unit Tests
CSE Tests
20m 40s
CSE Tests
End to End Sanity Tests
11m 37s
End to End Sanity Tests
Docker Tests
18m 17s
Docker Tests
Matrix: Integration Tests
Matrix: Nix Tests
Matrix: Profiling
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Code Quality Checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Nix Tests (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Unit Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636