fix: fixed equivalence evaluation by setting up bijection between the… #42
ashwin6-devdeploy.yml
on: push
Matrix: Test
Build Docker Image
/
Build and Push Docker Image
1m 31s
Matrix: Deploy to Lambda Feedback / build-aws
Matrix: Deploy to Lambda Feedback / build-gcp
Waiting for pending jobs
Deploy to Lambda Feedback
/
...
/
Deploy (staging)
9s
Deploy to Lambda Feedback
/
...
/
Deploy (production)
8s
Deploy to Lambda Feedback
/
...
/
deploy
Deploy to Lambda Feedback
/
...
/
deploy
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
lambda-feedback~Propositional-logic-eval~6K2SSG.dockerbuild
|
39.8 KB |
sha256:397ec466ba6f19b1006c169ef1714fa34d06bd59530c2371bb413850e72ba48b
|
|
|
lambda-feedback~Propositional-logic-eval~OWQT4D.dockerbuild
|
39.7 KB |
sha256:73f97a2d64a18feffa7190103096d21ae8f029145ceeae7c456c2a8200305f65
|
|
|
lambda-feedback~Propositional-logic-eval~V4QS3W.dockerbuild
|
45.2 KB |
sha256:b938325cc91a7828ef0f3a48e946a30bc4ae22ad4db4a52756ad460c84f8f170
|
|
|
test-results
|
843 Bytes |
sha256:62d4bd32eff2f77703951a0bd6e38c08ffd0fadea23e6443ff8853ec74457061
|
|