Skip to content

Merge branch 'main' into flat-diff #11677

Merge branch 'main' into flat-diff

Merge branch 'main' into flat-diff #11677

Triggered via push January 13, 2025 11:42
Status Success
Total duration 1m 16s
Artifacts 2
Enumerate and diff features
1m 8s
Enumerate and diff features
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size
diff-features
1.58 KB
enumerate-features
96.2 KB