Skip to content
Build, Test and Deploy

fix: add z3 dependency in the dockerfile #16

Sign in to view logs

fix: add z3 dependency in the dockerfile

fix: add z3 dependency in the dockerfile #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test (3.12)
15s
Build Docker Image
0s
Deploy to Lambda Feedback
0s
15s