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
Github secrets are not shared with forks, which causes their e2e's to fail. We should find a way to use the mock prover in forks. This still means that they can't generate fixtures but we can't do anything about that.
The text was updated successfully, but these errors were encountered:
Github secrets are not shared with forks, which causes their e2e's to fail. We should find a way to use the mock prover in forks. This still means that they can't generate fixtures but we can't do anything about that.
The text was updated successfully, but these errors were encountered: