{"id":13993335,"url":"https://github.com/leanprover/lean4-pr-releases","last_synced_at":"2026-08-04T05:00:45.900Z","repository":{"id":191440528,"uuid":"681551589","full_name":"leanprover/lean4-pr-releases","owner":"leanprover","description":"Automated releases from leanprover/lean4 PRs","archived":false,"fork":false,"pushed_at":"2026-07-30T21:08:16.000Z","size":7499473,"stargazers_count":3,"open_issues_count":0,"forks_count":3,"subscribers_count":2,"default_branch":"main","last_synced_at":"2026-07-30T21:18:38.163Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/leanprover.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"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,"disclosure":null}},"created_at":"2023-08-22T08:59:51.000Z","updated_at":"2026-07-15T21:47:28.000Z","dependencies_parsed_at":"2026-02-12T05:11:10.602Z","dependency_job_id":"7f61db9f-150e-417e-a440-119ea76c48d0","html_url":"https://github.com/leanprover/lean4-pr-releases","commit_stats":null,"previous_names":["leanprover/lean4-pr-releases"],"tags_count":15851,"template":false,"template_full_name":null,"purl":"pkg:github/leanprover/lean4-pr-releases","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4-pr-releases","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4-pr-releases/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4-pr-releases/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4-pr-releases/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover","download_url":"https://codeload.github.com/leanprover/lean4-pr-releases/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4-pr-releases/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":36261000,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-07-20T02:08:10.276Z","status":"online","status_checked_at":"2026-08-04T02:00:06.901Z","response_time":57,"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":"2024-08-09T14:02:20.155Z","updated_at":"2026-08-04T05:00:45.880Z","avatar_url":"https://github.com/leanprover.png","language":null,"funding_links":[],"categories":["Others"],"sub_categories":[],"readme":"This repository hosts automatically generated Lean [toolchains](https://github.com/leanprover/elan#elan-lean-version-manager) for Lean [pull requests](https://github.com/leanprover/lean4/pulls).\n\nYou should not need to use this repository directly. Instead:\n* Once your Lean pull request has the [`toolchain-available`](https://github.com/leanprover/lean4/pulls?q=is%3Apr+is%3Aopen+label%3Atoolchain-available) label,\n* Edit the `lean-toolchain` file in the project you would like to test your pull request in to say:\n  `leanprover/lean4-pr-releases:pr-release-NNNN`, where `NNNN` is the number of your pull request.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Flean4-pr-releases","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fleanprover%2Flean4-pr-releases","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleanprover%2Flean4-pr-releases/lists"}