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 Local Use #2

Merged
merged 33 commits into from
Dec 10, 2024
Merged

Fix Local Use #2

merged 33 commits into from
Dec 10, 2024

Conversation

H00N24
Copy link
Collaborator

@H00N24 H00N24 commented Dec 10, 2024

No description provided.

@Certora Certora deleted a comment from github-actions bot Dec 10, 2024
@Certora Certora deleted a comment from github-actions bot Dec 10, 2024
@Certora Certora deleted a comment from github-actions bot Dec 10, 2024
@Certora Certora deleted a comment from github-actions bot Dec 10, 2024
@Certora Certora deleted a comment from github-actions bot Dec 10, 2024
@Certora Certora deleted a comment from github-actions bot Dec 10, 2024
@Certora Certora deleted a comment from github-actions bot Dec 10, 2024
@Certora Certora deleted a comment from github-actions bot Dec 10, 2024
@github-actions GitHub Actions
Copy link

Certora Run Started (Failing Test)

  • Group ID: 57720551-c985-41af-83a0-e905da9a6e2e
Config Status Link
tests/conf-error.conf Failed (1) -
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link
tests/conf-error.conf Failed (1) -
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link

Certora Run Summary

  • Started 4 jobs
  • 2 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started ()

  • Group ID: 9fb498f3-2c27-4290-8534-4f6789758e9c
Config Status Link
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link

Certora Run Summary

  • Started 3 jobs
  • 0 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started (Failing Test)

  • Group ID: 8660608c-6cc3-4229-8191-40c9e1e7a683
Config Status Link
tests/conf-error.conf Failed (1) -
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link
tests/conf-error.conf Failed (1) -
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link

Certora Run Summary

  • Started 4 jobs
  • 2 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started ()

  • Group ID: 35dae19f-35ce-47e6-afba-d9156a749525
Config Status Link
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link

Certora Run Summary

  • Started 3 jobs
  • 0 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started ()

  • Group ID: 22b3ebae-4b11-47ed-b59e-0e8b1ca36ed1
Config Status Link
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link

Certora Run Summary

  • Started 3 jobs
  • 0 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started (Failing Test)

  • Group ID: 08d91a71-6c7f-4b9b-aea3-d3602d76bc8d
Config Status Link
tests/conf-error.conf Failed (1) -
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link
tests/conf-error.conf Failed (1) -
tests/conf-good.conf Submited link
tests/conf-good.conf Submited link

Certora Run Summary

  • Started 4 jobs
  • 2 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started ()

  • Group ID: 7419414f-cff5-4764-bf56-ccf4932014b2
Config Status Link Log File
tests/conf-good.conf Submited link /tmp/certora-logs/tests/conf-good.conf-3f1dd842eb7e.log
tests/conf-good.conf Submited link /tmp/certora-logs/tests/conf-good.conf-46ebc2ce0c96.log
tests/conf-good.conf Submited link /tmp/certora-logs/tests/conf-good.conf-5e2d12736add.log

Certora Run Summary

  • Started 3 jobs
  • 0 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started (Failing Test)

  • Group ID: b7945e66-600e-4a3d-ac4f-4ba112a63fc6
Config Status Link Log File
tests/conf-error.conf Failed (1) - /tmp/certora-logs/tests/conf-error.conf-71d6fb4292ca.log
tests/conf-good.conf Submited link /tmp/certora-logs/tests/conf-good.conf-70e72f75dac8.log
tests/conf-good.conf Submited link /tmp/certora-logs/tests/conf-good.conf-503a42f30581.log
tests/conf-error.conf Failed (1) - /tmp/certora-logs/tests/conf-error.conf-8ddeede7a6d2.log
tests/conf-good.conf Submited link /tmp/certora-logs/tests/conf-good.conf-06ee2ef6aa3c.log
tests/conf-good.conf Submited link /tmp/certora-logs/tests/conf-good.conf-27d94ef9cc42.log

Certora Run Summary

  • Started 4 jobs
  • 2 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started ()

  • Group ID: 7bb633d5-21c5-4f8f-87ff-6f2ccb435e40
Config Status Link Log File

Certora Run Summary

  • Started jobs
  • jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started (Failing Test)

  • Group ID: e7ed6118-2cd4-449f-af1f-7fcbddadd69f
Config Status Link Log File
tests/conf-error.conf Failed (1) - tests/conf-error.conf-a8f46d7aa7f5.log

Certora Run Summary

  • Started jobs
  • jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started ()

  • Group ID: a7baa483-fd20-47c6-8ed8-a1dfda57d71b
Config Status Link Log File
tests/conf-good.conf Submited link tests/conf-good.conf-3ad8617eb9ae.log
tests/conf-good.conf Submited link tests/conf-good.conf-8b1ac7850770.log
tests/conf-good.conf Submited link tests/conf-good.conf-ffd46637f7d6.log

Certora Run Summary

  • Started 3 jobs
  • 0 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started (Failing Test)

  • Group ID: d1ecfecb-0d7c-47fe-8edc-6fc893a3cd31
Config Status Link Log File
tests/conf-error.conf Failed (1) - tests/conf-error.conf-fb1d2415384b.log
tests/conf-good.conf Submited link tests/conf-good.conf-ae42f20f2458.log
tests/conf-good.conf Submited link tests/conf-good.conf-2f78a7ce71cc.log
tests/conf-error.conf Failed (1) - tests/conf-error.conf-ff6ecad01014.log
tests/conf-good.conf Submited link tests/conf-good.conf-20a03a55328f.log
tests/conf-good.conf Submited link tests/conf-good.conf-4371780a7a65.log

Certora Run Summary

  • Started 4 jobs
  • 2 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started (Failing Test)

  • Group ID: 6bf1a4d4-7a41-4b6b-844f-1ae30a5b957e
Config Status Link Log File
tests/conf-error.conf Failed (1) - tests/conf-error.conf-4223a6df5fae.log
tests/conf-good.conf Submited link tests/conf-good.conf-1e0f883e3c0b.log
tests/conf-good.conf Submited link tests/conf-good.conf-b7a5cf9cf6bf.log
tests/conf-error.conf Failed (1) - tests/conf-error.conf-299d1aca6897.log
tests/conf-good.conf Submited link tests/conf-good.conf-47fcd4de8aa7.log
tests/conf-good.conf Submited link tests/conf-good.conf-0095e0f56c3e.log

Certora Run Summary

  • Started 4 jobs
  • 2 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started ()

  • Group ID: 90abb444-3db4-4e7d-a962-14917044317c
Config Status Link Log File
tests/conf-good.conf Submited link tests/conf-good.conf-239253db7f27.log
tests/conf-good.conf Submited link tests/conf-good.conf-ad9514929403.log
tests/conf-good.conf Submited link tests/conf-good.conf-fee12421cde3.log

Certora Run Summary

  • Started 3 jobs
  • 0 jobs failed

Download Logs

@H00N24 H00N24 marked this pull request as ready for review December 10, 2024 20:54
@H00N24 H00N24 merged commit aef5d04 into main Dec 10, 2024
1 of 4 checks passed
@H00N24 H00N24 deleted the feat/fix-build branch December 10, 2024 20:54
@github-actions GitHub Actions
Copy link

Certora Run Started ()

  • Group ID: d1ddc763-d837-4012-bc09-717febe520e6
Config Status Link Log File
tests/conf-good.conf Submited link tests/conf-good.conf-b2c6e30a0b64.log
tests/conf-good.conf Submited link tests/conf-good.conf-9d8003f9581a.log
tests/conf-good.conf Submited link tests/conf-good.conf-1cd2cc894a4f.log

Certora Run Summary

  • Started 3 jobs
  • 0 jobs failed

Download Logs

@github-actions GitHub Actions
Copy link

Certora Run Started (Failing Test)

  • Group ID: b2d6e030-26b4-4c88-94f0-5ab6e69b4e91
Config Status Link Log File
tests/conf-error.conf Failed (1) - tests/conf-error.conf-1ca6d93a4e6d.log
tests/conf-good.conf Submited link tests/conf-good.conf-6c8c4c88a1fa.log
tests/conf-good.conf Submited link tests/conf-good.conf-5a46babc5abd.log
tests/conf-error.conf Failed (1) - tests/conf-error.conf-ac4619ae9781.log
tests/conf-good.conf Submited link tests/conf-good.conf-20961f25321d.log
tests/conf-good.conf Submited link tests/conf-good.conf-ad3aa6a35ad7.log

Certora Run Summary

  • Started 4 jobs
  • 2 jobs failed

Download Logs

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

Successfully merging this pull request may close these issues.
1 participant
@H00N24