Skip to content
Invalidations

Let 1D linear_map of zonotopic set remove redudant generator #700

Sign in to view logs

Let 1D linear_map of zonotopic set remove redudant generator

Let 1D linear_map of zonotopic set remove redudant generator #700

Triggered via pull request January 3, 2025 21:50
@schillicschillic
opened #3764
schillic/linear_map_1d_zonotope
Status Success
Total duration 5m 54s
Artifacts –

invalidations.yml

on: pull_request
evaluate
5m 46s
evaluate
Fit to window
Zoom out
Zoom in

Annotations

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