You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While working on #414, we have noticed that a build error was hidden (locally and) in Github actions. We should ensure that Github actions don't rely on cached versions.
What did you expect to happen?
Github actions should fail if the build fails on a clean system.
What are the minimal steps needed to reproduce the bug?
n/a
Anything else we need to know?
The text was updated successfully, but these errors were encountered:
What happened?
While working on #414, we have noticed that a build error was hidden (locally and) in Github actions. We should ensure that Github actions don't rely on cached versions.
What did you expect to happen?
Github actions should fail if the build fails on a clean system.
What are the minimal steps needed to reproduce the bug?
n/a
Anything else we need to know?
The text was updated successfully, but these errors were encountered: