Skip to content
GitHub CI

Merge pull request #3674 from jsiirola/exclude-gnu #7305

Sign in to view logs

Merge pull request #3674 from jsiirola/exclude-gnu

Merge pull request #3674 from jsiirola/exclude-gnu #7305

Triggered via push August 4, 2025 15:53
@mrmundtmrmundt
pushed 30691b5
main
Status Cancelled
Total duration 14s
Artifacts –

test_pr_and_main.yml

on: push
lint/style-and-typos
0s
lint/style-and-typos
Matrix: build
linux/3.9/bare-env
0s
linux/3.9/bare-env
Matrix: cover
Fit to window
Zoom out
Zoom in

Annotations

2 errors
lint/style-and-typos
Canceling since a higher priority waiting request for GitHub CI-refs/heads/main exists
GitHub CI
Canceling since a higher priority waiting request for GitHub CI-refs/heads/main exists