)]}'
{"common/hw-time.adb":[{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"b200cb305a0d92a0f52596918afc4f574704c682","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"d575f703_8fe1fdb2","line":60,"updated":"2026-04-12 15:44:10.000000000","message":"Config(s): defconfig linux posix\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"538fc7c65012b047061250fa2c9ceefe0dae021e","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"618aef33_2b41bd50","line":60,"updated":"2026-04-12 15:43:34.000000000","message":"Config(s): defconfig posix linux\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"ac66d0023d028ea968c5eea4acab6bca5ae94372","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"8fd68925_050e8022","line":60,"updated":"2026-04-12 21:46:26.000000000","message":"Config(s): defconfig posix linux\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"90e4129259c4fa2fb7e69481b22dbbf58c588fc4","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"f070b4b4_fcbabafe","line":60,"updated":"2026-04-12 16:35:25.000000000","message":"Config(s): defconfig posix linux\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"8be762095219233ec8ae24c538dbd4fcdd9bf1eb","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"7390c4ab_b804d65f","line":60,"updated":"2026-04-12 15:44:05.000000000","message":"Config(s): linux defconfig posix\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"32b9d9e51f1a35d08f2ec6531c07be1f3da4ab92","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"40540cbb_3d08abce","line":60,"updated":"2026-04-12 15:43:59.000000000","message":"Config(s): linux posix defconfig\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"3b444d27294956ba8b5bc9ca892028ae293dcf05","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"950d2d8c_bb8cdb35","line":60,"updated":"2026-04-12 15:43:28.000000000","message":"Config(s): linux posix defconfig\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"0d726ca0e5981d7ac3fd3a186d22327f7b826359","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"5eadf8c9_cdc5062e","line":60,"updated":"2026-04-12 15:39:59.000000000","message":"Config(s): posix defconfig linux\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"76e8450b20120f8c7e8b602b7cd2fa9af1fa09d2","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"807876cb_9a354bf6","line":60,"updated":"2026-04-12 14:57:19.000000000","message":"Config(s): posix defconfig linux\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"ff919ef85afd548632d1da210c8da842dc22b52f","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"9433f4cc_da4cd9c9","line":60,"updated":"2026-04-12 20:01:18.000000000","message":"Config(s): posix defconfig linux\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"65e4d0a89aefb3bb616e922f6b6ea68af406fae8","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"cedf3a6a_bc84855d","line":60,"updated":"2026-04-12 21:31:49.000000000","message":"Config(s): posix defconfig linux\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"ff919ef85afd548632d1da210c8da842dc22b52f","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"07a6456d_a7aa8095","line":60,"updated":"2026-04-12 20:01:18.000000000","message":"Config(s): posix linux defconfig\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"e8018a2009e55437026faf243875a97f25f30f20","unresolved":false,"context_lines":[{"line_number":57,"context_line":"      MHz : constant T :\u003d Hz / 1_000_000;"},{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""}],"source_content_type":"application/octet-stream","patch_set":1,"id":"67d1adfe_843b81bc","line":60,"updated":"2026-04-12 21:15:00.000000000","message":"Config(s): posix linux defconfig\n```\nhw-time.adb:60: medium: range check might fail\n   60 |      return Int64 (Current and (2 ** 63 - 1))\n      |                            ^ here\n  reason for check: result of operation must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"76e8450b20120f8c7e8b602b7cd2fa9af1fa09d2","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"0275aa29_9aee7a6d","line":61,"updated":"2026-04-12 14:57:19.000000000","message":"Config(s): defconfig linux posix\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"8be762095219233ec8ae24c538dbd4fcdd9bf1eb","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"26e2a2ea_e44a5aac","line":61,"updated":"2026-04-12 15:44:05.000000000","message":"Config(s): defconfig linux posix\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"ff919ef85afd548632d1da210c8da842dc22b52f","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"6d9de2f0_e94a25e8","line":61,"updated":"2026-04-12 20:01:18.000000000","message":"Config(s): defconfig posix linux\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"0d726ca0e5981d7ac3fd3a186d22327f7b826359","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"53d1099b_19ae8818","line":61,"updated":"2026-04-12 15:39:59.000000000","message":"Config(s): linux defconfig posix\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"538fc7c65012b047061250fa2c9ceefe0dae021e","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"0a34cd5c_d84fd51e","line":61,"updated":"2026-04-12 15:43:34.000000000","message":"Config(s): linux posix defconfig\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"32b9d9e51f1a35d08f2ec6531c07be1f3da4ab92","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"5d556039_524be0b1","line":61,"updated":"2026-04-12 15:43:59.000000000","message":"Config(s): linux posix defconfig\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"90e4129259c4fa2fb7e69481b22dbbf58c588fc4","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"8dc2e5be_09d7a5a5","line":61,"updated":"2026-04-12 16:35:25.000000000","message":"Config(s): linux posix defconfig\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"ff919ef85afd548632d1da210c8da842dc22b52f","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"4391a8ea_e1038aee","line":61,"updated":"2026-04-12 20:01:18.000000000","message":"Config(s): posix defconfig linux\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"65e4d0a89aefb3bb616e922f6b6ea68af406fae8","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"8446312f_2339ce51","line":61,"updated":"2026-04-12 21:31:49.000000000","message":"Config(s): posix defconfig linux\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"b200cb305a0d92a0f52596918afc4f574704c682","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"67316dfe_3b8e6a7e","line":61,"updated":"2026-04-12 15:44:10.000000000","message":"Config(s): posix linux defconfig\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"ac66d0023d028ea968c5eea4acab6bca5ae94372","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"7798dc4b_c029e623","line":61,"updated":"2026-04-12 21:46:26.000000000","message":"Config(s): posix linux defconfig\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"e8018a2009e55437026faf243875a97f25f30f20","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"c0336b3d_4aeef2fc","line":61,"updated":"2026-04-12 21:15:00.000000000","message":"Config(s): posix linux defconfig\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"3b444d27294956ba8b5bc9ca892028ae293dcf05","unresolved":false,"context_lines":[{"line_number":58,"context_line":"      Current : constant T :\u003d Timer.Raw_Value_Min;"},{"line_number":59,"context_line":"   begin"},{"line_number":60,"context_line":"      return Int64 (Current and (2 ** 63 - 1))"},{"line_number":61,"context_line":"               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);"},{"line_number":62,"context_line":"   end Now_US;"},{"line_number":63,"context_line":""},{"line_number":64,"context_line":"   ----------------------------------------------------------------------------"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"c8ff69f8_29445312","line":61,"updated":"2026-04-12 15:43:28.000000000","message":"Config(s): posix linux defconfig\n```\nhw-time.adb:61: medium: range check might fail\n   61 |               / Int64 (if MHz \u003d 0 then T\u0027(1) else MHz);\n      |                        ^ here\n  reason for check: value must be convertible to the target type of the conversion\n```","commit_id":"e6f7867e743ecbb8bb085dff83e0dee0d6fe3282"}]}