|
59 | 59 | GithubPackage('runtimeverification', 'kup', PackageName('kup')), |
60 | 60 | GithubPackage('runtimeverification', 'k', PackageName('k')), |
61 | 61 | GithubPackage('runtimeverification', 'avm-semantics', PackageName('kavm')), |
62 | | - GithubPackage('runtimeverification', 'evm-semantics', PackageName('kevm')), |
| 62 | + GithubPackage('runtimeverification', 'evm-semantics', PackageName('kevm'), branch='release'), |
63 | 63 | GithubPackage('runtimeverification', 'plutus-core-semantics', PackageName('kplutus')), |
64 | 64 | GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')), |
65 | 65 | GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol')), |
@@ -339,8 +339,9 @@ def list_package( |
339 | 339 | if not tags.ok: |
340 | 340 | rich.print('❗ Listing versions is unsupported for private packages accessed over SSH.') |
341 | 341 | return |
| 342 | + branch = f'?sha={listed_package.branch}' if listed_package.branch else '' |
342 | 343 | commits = requests.get( |
343 | | - f'https://api.github.com/repos/{listed_package.org}/{listed_package.repo}/commits', headers=auth |
| 344 | + f'https://api.github.com/repos/{listed_package.org}/{listed_package.repo}/commits{branch}', headers=auth |
344 | 345 | ) |
345 | 346 | tagged_releases = {t['commit']['sha']: t for t in tags.json()} |
346 | 347 | all_releases = [ |
|
0 commit comments