{"id":30865835,"url":"https://github.com/leanprover/velcom","last_synced_at":"2025-10-26T03:02:54.393Z","repository":{"id":38255185,"uuid":"257867858","full_name":"leanprover/velcom","owner":"leanprover","description":"Continuous benchmarking","archived":false,"fork":false,"pushed_at":"2025-09-02T08:00:47.000Z","size":7475,"stargazers_count":18,"open_issues_count":14,"forks_count":1,"subscribers_count":4,"default_branch":"main","last_synced_at":"2025-09-02T10:05:45.839Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/leanprover.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"docs/contributing.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2020-04-22T10:28:53.000Z","updated_at":"2025-09-02T08:00:49.000Z","dependencies_parsed_at":"2025-09-02T10:06:02.882Z","dependency_job_id":"4c03a6e0-36bd-446c-9d29-3373c5943616","html_url":"https://github.com/leanprover/velcom","commit_stats":null,"previous_names":["leanprover/velcom"],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/leanprover/velcom","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvelcom","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvelcom/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvelcom/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvelcom/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover","download_url":"https://codeload.github.com/leanprover/velcom/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvelcom/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274101767,"owners_count":25222447,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-07T02:00:09.463Z","response_time":67,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-09-07T22:01:53.978Z","updated_at":"2025-10-26T03:02:49.351Z","avatar_url":"https://github.com/leanprover.png","language":"Java","funding_links":[],"categories":["Java"],"sub_categories":[],"readme":"# VelCom\n\nVelCom lets you progressively benchmark one or more projects and monitor or\ncompare the benchmark results. This makes it easier to notice performance\nregressions or see how different branches compare. It also lets you visualize\nhow different metrics have developed over time.\n\nHere are a few links to get started:\n- [Installation](docs/install.md)\n- [CLI readme](cli/README.md)\n- [Benchmark repo specification](docs/bench_repo_specification.md)\n- [Guide to contributing](docs/contributing.md)\n\n## Uploading a tar via curl\n\nIf you quickly want to benchmark your current directory from the command line,\nrun this command, replacing `VELCOM_ADDRESS` and `ADMIN_PASSWORD` with the\nproper values:\n\n```\ntar -czO . | curl VELCOM_ADDRESS/api/queue/upload/tar \\\n  -F 'file=@-;filename=file.tar.gz' \\\n  -F description='console upload' \\\n  -u admin:ADMIN_PASSWORD\n```\n\nIf you want to assign the tar to a specific repository, append this flag to the\ncommand above, replacing `REPO_ID` with the repo's UUID (can be found on the\nrepo detail page):\n\n```\n-F repo_id=REPO_ID\n```\n\nHere is an example with all of the above:\n\n```\ntar -czO . | curl https://velcom.aaaaaaah.de/api/queue/upload/tar \\\n  -F 'file=@-;filename=file.tar.gz' \\\n  -F description='console upload' \\\n  -u admin:12345 \\\n  -F repo_id=44bb5c8d-b20d-4bef-bdad-c92767dfa489\n```\n\nFor a nicer looking result, pipe the output from `curl` into `jq`.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Fvelcom","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fleanprover%2Fvelcom","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Fvelcom/lists"}