Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix deploy CI #229

Closed
filipeom opened this issue Oct 9, 2024 · 2 comments · Fixed by #239
Closed

Fix deploy CI #229

filipeom opened this issue Oct 9, 2024 · 2 comments · Fixed by #239
Labels
type: bug

Comments

@filipeom
Copy link
Member

filipeom commented Oct 9, 2024

When I added mega SMT-COMP module it stopped work. On a side note, maybe also add a disclaimer saying that cloning submodules might take some time and also use up a lot of disk space.
@filipeom filipeom mentioned this issue Oct 24, 2024
Merged
@filipeom filipeom reopened this Oct 24, 2024
@filipeom
Copy link
Member Author

Now it's failing because of #239

@filipeom
Copy link
Member Author

Closed in 6fb786e

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix CI formalsec/smtml
1 participant
@filipeom