Change CI #537
Replies: 3 comments 4 replies
-
We should add --headless flag for firefox |
Beta Was this translation helpful? Give feedback.
-
Doesn't the concurrency-group rule ensure they won't both run? And would if-rules be able to do the same or better, given the need to handle PRs both from branches of this repo and from people's forks of it? Or is there something important I'm not understanding about GitHub Actions or its interaction with the PR lifecycle? |
Beta Was this translation helpful? Give feedback.
-
|
Opened #538 to prevent the double trigger. This also means we won't get a CI run if we push to a non-master branch without a PR, but I don't think we've used any such branch for development in years. |
Beta Was this translation helpful? Give feedback.

Uh oh!
There was an error while loading. Please reload this page.
-
Hi @Pr0methean
I think we should change the CI
on pushAlso, the CI is hanging with the wasm test right now
Because right now it looks like every zip MR generate two CI jobs
https://github.com/zip-rs/zip2/actions/runs/21114414096/job/60720731094
Beta Was this translation helpful? Give feedback.
All reactions