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

Add initial configs for gobrago #381

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Add initial configs for gobrago #381

wants to merge 8 commits into from

Conversation

jcp19
Copy link
Contributor

@jcp19 jcp19 commented Oct 17, 2024 •
edited
Loading

TODO:

  • port all configs to the new format
  • use a simplified gobra action, allow user to chose .jar

jcp19
jcp19 commented Oct 17, 2024
View reviewed changes
verification/jobs/path.json Outdated Show resolved Hide resolved
@jcp19 jcp19 mentioned this pull request Nov 19, 2024
Closed
jcp19 added a commit that referenced this pull request Nov 19, 2024
@jcp19
Delete scripts/benchmark.py
1765f6b 
Benchmark script will be overriden by PR #381
@jcp19 jcp19 linked an issue Dec 2, 2024 that may be closed by this pull request
Build benchmark scripts #177
Open
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.

Build benchmark scripts
1 participant
@jcp19