Switch back to standard runners

[sds]

Change Summary

Switch to normal runners.

Merge Checklist

• The PR title adheres to the conventional commits standard
• The PR has been tagged with change type label(s) (i.e. documentation, feature, bugfix, or chore)
• The PR's changes adhere to all the requirements in the contribution guidelines
• All commits have been signed

---

PR-Codex overview

This PR focuses on simplifying the runs-on configuration in the GitHub Actions CI workflow by replacing conditional expressions with a fixed environment, specifically setting all runs-on values to ubuntu-latest.

Detailed summary

• Changed runs-on from conditional expressions to ubuntu-latest in the build-image job.
• Updated runs-on to ubuntu-latest in the second job with a timeout of 15 minutes.
• Modified runs-on to ubuntu-latest in the halmos job.
• Set runs-on to ubuntu-latest in the last job with specified permissions.

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[github-actions]

Coverage after merging sds/remove into main will be

0.00%

Coverage Report

File	Stmts	Branches	Funcs	Lines	Uncovered Lines
src
Bundler.sol	0%	0%	0%	0%	53–54, 61, 72, 76–79, 91, 94, 94–95
FnameResolver.sol	0%	0%	0%	0%	117–120, 137, 137–138, 141–143, 145, 164–165, 167–170, 172, 172, 174, 187–188, 197–198, 206
IdGateway.sol	0%	0%	0%	0%	105, 112–113, 125, 136–138, 149–150, 158, 176, 178, 178–179, 74–76, 87, 94
IdRegistry.sol	0%	0%	0%	0%	111, 111, 114, 114, 119, 122, 133, 136, 138, 152, 155–156, 158, 165, 168, 177–178, 193, 196, 204, 213–214, 221, 224, 224, 226, 226, 233–235, 237, 244–246, 248, 260–261, 261, 263, 276–277, 277, 279, 288, 296, 298, 306–307, 307, 310–311, 311, 314, 314, 317, 319–320, 335–336, 336, 339, 339, 342, 349, 351–352, 363, 363–365, 372, 372–374, 384–386, 386–387, 398–400, 400–401, 409–411, 413–415, 417, 423–424, 440, 448, 464, 484
KeyGateway.sol	0%	100%	0%	0%	107, 59, 75, 90–91
KeyRegistry.sol	0%	0%	0%	0%	111–114, 125, 132, 139, 151–153, 155–156, 158–160, 163–164, 164, 166, 173, 190, 190–191, 198, 210–211, 225–228, 241–244, 258, 258–259, 259–261, 268–269, 276, 276–278, 285, 285–287, 294, 294–296, 310, 321–322, 322–323, 323, 325–326, 326–327, 330–333, 335, 335–337, 337, 342–343, 343, 345–347, 351–352, 352, 354–357, 365, 380–381, 381, 389, 393–394, 398, 402, 402, 402–404, 404, 404–405, 407
RecoveryProxy.sol	0%	100%	0%	0%	56–57, 70, 80–81
StorageRegistry.sol	0%	0%	0%	0%	357–358, 360–361, 363–364, 366–367, 369–370, 372–373, 375–376, 378–379, 381–382, 384–385, 387–388, 390–393, 395, 403, 403–404, 410, 410, 415, 415, 420, 420, 436, 436–437, 437–439, 439, 442–443, 447–448, 448–449, 461, 461–462, 462, 465–466, 468–473, 475, 478, 478–479, 479, 482, 485, 485–486, 498, 505–506, 506, 506–507, 516, 516, 516–517, 519, 521, 534, 541, 541–542, 557, 570–572, 572–573, 573–574, 574–575, 575, 578–579, 579, 595–596, 596–597, 597–598, 598–599, 599–600, 600–601, 603, 603, 606–607, 609, 609, 609, 611, 613–614, 622, 635, 646, 646–647, 647, 649–650, 660, 660–662, 662–665, 677, 677–678, 678, 680–682, 682–685, 693, 693–694, 701–702, 709–710, 717–718, 725, 725–726, 726, 728–729, 736–737, 744, 744–746, 753–754, 761–762, 769, 769–771, 778, 778–780, 787–788, 795, 795–797, 804–805, 812, 819
src/abstract
EIP712.sol	0%	100%	0%	0%	19, 26
Guardians.sol	0%	0%	0%	0%	24, 24–25, 40, 51–52, 59–60, 67, 74
Migration.sol	0%	0%	0%	0%	100, 100–103, 40, 40–41, 41–42, 44, 60–63, 74, 85, 85–86, 86–89
Nonces.sol	0%	100%	0%	0%	16
Signatures.sol	0%	0%	0%	0%	13, 13–14, 14–15
src/validators
SignedKeyRequestValidator.sol	0%	0%	0%	0%	106, 108, 108–109, 111–112, 114, 136, 149–150, 83–84