Even the commits are properly tagged, they are not showing no version number.
Running kup list kevm shows the following:
┌─────────────────────┬─────────┬────────────────────────────────────────────────────┬────────┐
│ Version (installed) │ Commit │ Message │ Cached │
├─────────────────────┼─────────┼────────────────────────────────────────────────────┼────────┤
│ │ a29f783 │ Hotfix/push release with pat (#2574) * Force... │ │
│ │ 25de575 │ Update dependency: deps/k_release (#2572) *... │ │
│ │ 0b75078 │ Enable Outside Collaborators to run test suite... │ │
│ v1.0.677 │ ef64079 │ Update dependency: deps/k_release (#2570) *... │ │
│ v1.0.676 │ 25be766 │ Adding support for the `--assume-defined` flag... │ │
│ v1.0.675 │ 4c5b500 │ Update dependency: deps/k_release (#2569) *... │ │
│ v1.0.674 │ a215e71 │ Update dependency: deps/k_release (#2567) *... │ │
│ v1.0.673 │ 16dac73 │ Partial evaluation of EVM optimization lemmas... │ │
And ...
jinxinglim@jinxinglim:~/Codes/Pi2/evm-semantics$ logb -1 a29f783 │··························································································
* a29f7834 (HEAD -> dev/jin/2024-08-12/build-attempt, tag: release-1.0.680, upstream/master) Hotfix/push> │··························································································
jinxinglim@jinxinglim:~/Codes/Pi2/evm-semantics$ logb -1 25de575 │··························································································
* 25de5752 (tag: release-1.0.679) Update dependency: deps/k_release (#2572) │··························································································
jinxinglim@jinxinglim:~/Codes/Pi2/evm-semantics$ logb -1 0b75078 │··························································································
* 0b75078f (tag: release-1.0.678) Enable Outside Collaborators to run test suite before PR's are reviewe>
Even the commits are properly tagged, they are not showing no version number.
Running
kup list kevmshows the following:And ...