{"id":31609,"name":"rupicola","ecosystem":"submodules","repository_url":null,"issues_count":16,"created_at":"2025-06-07T10:37:03.034Z","updated_at":"2025-06-07T10:37:03.034Z","purl":"pkg:submodules/rupicola","unique_repositories_count":1,"unique_repositories_count_past_30_days":1,"recent_issues":[{"uuid":"3958454772","node_id":"PR_kwDOAoT5bM7Epq1Y","number":2264,"state":"open","title":"Bump rupicola from `4203257` to `dcb40f9`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2026-02-18T15:37:20.000Z","updated_at":"2026-02-20T08:03:22.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`4203257`","new_version":"`dcb40f9`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `4203257` to `dcb40f9`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/dcb40f927703138c6439d4bd9c803b6cdc929182\"\u003e\u003ccode\u003edcb40f9\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003eca9b09a\u003c/code\u003e to \u003ccode\u003e2a59d2e\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/193\"\u003e#193\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/42032579f55310a04244d0b7467ee8ddb79b81e2...dcb40f927703138c6439d4bd9c803b6cdc929182\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2264","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2264","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2264/packages"},{"uuid":"2828362548","node_id":"PR_kwDOAoT5bM6olWM0","number":2160,"state":"closed","title":"Bump rupicola from `2db995f` to `a1a812e`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-17T04:40:20.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-15T08:51:40.000Z","updated_at":"2025-09-17T04:40:21.000Z","time_to_close":157720,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`2db995f`","new_version":"`a1a812e`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `2db995f` to `a1a812e`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/a1a812ec88bb958604f542c49998788dd2d1c9ca\"\u003e\u003ccode\u003ea1a812e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003efbfe133\u003c/code\u003e to \u003ccode\u003e84cfff9\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/181\"\u003e#181\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/a04aba5235c96d7eba017e3950be4315b2839fa0\"\u003e\u003ccode\u003ea04aba5\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e8f29630\u003c/code\u003e to \u003ccode\u003efbfe133\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/180\"\u003e#180\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/2db995fabfb1c650427585c463d757eb09470f98...a1a812ec88bb958604f542c49998788dd2d1c9ca\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2160","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2160","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2160/packages"},{"uuid":"2818081573","node_id":"PR_kwDOAoT5bM6n-IMl","number":2159,"state":"closed","title":"Bump rupicola from `2db995f` to `a04aba5`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-15T08:51:43.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-11T08:03:11.000Z","updated_at":"2025-09-15T08:51:43.000Z","time_to_close":348512,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`2db995f`","new_version":"`a04aba5`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `2db995f` to `a04aba5`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/a04aba5235c96d7eba017e3950be4315b2839fa0\"\u003e\u003ccode\u003ea04aba5\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e8f29630\u003c/code\u003e to \u003ccode\u003efbfe133\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/180\"\u003e#180\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/2db995fabfb1c650427585c463d757eb09470f98...a04aba5235c96d7eba017e3950be4315b2839fa0\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2159","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2159","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2159/packages"},{"uuid":"2797556994","node_id":"PR_kwDOAoT5bM6mv1UC","number":2150,"state":"open","title":"Bump rupicola from `ea5f3ef` to `cd55652`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-03T23:53:15.000Z","updated_at":"2025-09-03T23:53:16.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`ea5f3ef`","new_version":"`cd55652`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `ea5f3ef` to `cd55652`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/cd556520a4bffe2c3d2010e6045e51ef97b92dfa\"\u003e\u003ccode\u003ecd55652\u003c/code\u003e\u003c/a\u003e Use parallel make in coq-docker (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/176\"\u003e#176\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/ea5f3efc75737341e8edee650d6bcb992b39401e...cd556520a4bffe2c3d2010e6045e51ef97b92dfa\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2150","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2150","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2150/packages"},{"uuid":"2741878525","node_id":"PR_kwDOAoT5bM6jbb79","number":2138,"state":"open","title":"Bump rupicola from `ce1c904` to `57cc19e`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-13T08:07:45.000Z","updated_at":"2025-08-13T08:07:45.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`ce1c904`","new_version":"`57cc19e`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `ce1c904` to `57cc19e`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/57cc19e727c35145b8bfb4ab4315b6245ac0166c\"\u003e\u003ccode\u003e57cc19e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e5ec3fc9\u003c/code\u003e to \u003ccode\u003ec2c7511\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/167\"\u003e#167\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/fc2c6a74a8b0de93f8f87f031e4a10d5c0773ab4\"\u003e\u003ccode\u003efc2c6a7\u003c/code\u003e\u003c/a\u003e build(deps): bump actions/checkout from 4 to 5 (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/166\"\u003e#166\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/ce1c90485e0b601b5f88638a9db86eebbb6aa514...57cc19e727c35145b8bfb4ab4315b6245ac0166c\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2138","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2138","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2138/packages"},{"uuid":"2735327313","node_id":"PR_kwDOAoT5bM6jCchR","number":2136,"state":"closed","title":"Bump rupicola from `4c70cff` to `ce1c904`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-08-11T16:28:03.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-11T12:33:11.000Z","updated_at":"2025-08-11T16:28:03.000Z","time_to_close":14092,"merged_at":"2025-08-11T16:28:03.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`4c70cff`","new_version":"`ce1c904`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `4c70cff` to `ce1c904`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/ce1c90485e0b601b5f88638a9db86eebbb6aa514\"\u003e\u003ccode\u003ece1c904\u003c/code\u003e\u003c/a\u003e Add a copy of assuming_correctness_of_in (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/165\"\u003e#165\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/4c70cff7314d192257c4b7d3336f08c678dbf18e...ce1c90485e0b601b5f88638a9db86eebbb6aa514\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2136","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2136","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2136/packages"},{"uuid":"2669800056","node_id":"PR_kwDOAoT5bM6fIep4","number":2125,"state":"open","title":"Bump rupicola from `274f70a` to `4c70cff`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-16T08:14:35.000Z","updated_at":"2025-07-16T08:14:36.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`274f70a`","new_version":"`4c70cff`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `274f70a` to `4c70cff`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/4c70cff7314d192257c4b7d3336f08c678dbf18e\"\u003e\u003ccode\u003e4c70cff\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e3f2a6e5\u003c/code\u003e to \u003ccode\u003e5ec3fc9\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/164\"\u003e#164\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/3873aa5ab6d55df781c201aa86305624b7d580a1\"\u003e\u003ccode\u003e3873aa5\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e8abe303\u003c/code\u003e to \u003ccode\u003e3f2a6e5\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/163\"\u003e#163\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/274f70a6ab760a9022ae910006043f30622b45a9...4c70cff7314d192257c4b7d3336f08c678dbf18e\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2125","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2125","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2125/packages"},{"uuid":"2634645632","node_id":"PR_kwDOAoT5bM6dCYCA","number":2115,"state":"open","title":"Bump rupicola from `514ea77` to `896aee0`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-02T08:04:43.000Z","updated_at":"2025-07-02T08:04:44.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`514ea77`","new_version":"`896aee0`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `514ea77` to `896aee0`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/896aee0db9844b6db2e2ed9c350f4dc996ec8c6f\"\u003e\u003ccode\u003e896aee0\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e16693a2\u003c/code\u003e to \u003ccode\u003ea7c9cb5\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/161\"\u003e#161\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/6195d102bb39ad78419eeda94bb6f5a15973f5de\"\u003e\u003ccode\u003e6195d10\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e257f544\u003c/code\u003e to \u003ccode\u003e16693a2\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/160\"\u003e#160\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/514ea775afbf46d628051a46eeba0046c666ddf3...896aee0db9844b6db2e2ed9c350f4dc996ec8c6f\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2115","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2115","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2115/packages"},{"uuid":"3171040477","node_id":"PR_kwDOAoT5bM6b0UTf","number":2110,"state":"closed","title":"Bump rupicola from `408c6ff` to `514ea77`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":3,"pull_request":true,"closed_at":"2025-06-30T18:36:05.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-24T08:52:59.000Z","updated_at":"2025-06-30T18:36:08.000Z","time_to_close":553386,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`408c6ff`","new_version":"`514ea77`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `408c6ff` to `514ea77`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/514ea775afbf46d628051a46eeba0046c666ddf3\"\u003e\u003ccode\u003e514ea77\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003ed9c30f1\u003c/code\u003e to \u003ccode\u003e257f544\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/159\"\u003e#159\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/a402a7d0a0b2d88ac6bc2a7462d0195d27a32430\"\u003e\u003ccode\u003ea402a7d\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e7a92310\u003c/code\u003e to \u003ccode\u003ed9c30f1\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/158\"\u003e#158\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/408c6ff73dfc5b923a4746287e2598878f75ff4a...514ea775afbf46d628051a46eeba0046c666ddf3\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2110","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2110","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2110/packages"},{"uuid":"3117006020","node_id":"PR_kwDOAoT5bM6Y-vrG","number":2092,"state":"closed","title":"Bump rupicola from `59751db` to `ac90d97`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-06T08:21:03.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-04T08:43:23.000Z","updated_at":"2025-06-06T08:21:04.000Z","time_to_close":171460,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`59751db`","new_version":"`ac90d97`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `59751db` to `ac90d97`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/ac90d97fc828a618ab8b7056755b514b4a1317cb\"\u003e\u003ccode\u003eac90d97\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003ed00605c\u003c/code\u003e to \u003ccode\u003e0fc2662\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/151\"\u003e#151\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/307c6339ba79d0796a6283048913b1b50c2c187a\"\u003e\u003ccode\u003e307c633\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e28b23cb\u003c/code\u003e to \u003ccode\u003ed00605c\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/150\"\u003e#150\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/9e0facd51afd6891067047169d9c4f9a0c84cf9a\"\u003e\u003ccode\u003e9e0facd\u003c/code\u003e\u003c/a\u003e bump bedrock2\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/23af39ee711c1a38500593cf76343583dbf48c11\"\u003e\u003ccode\u003e23af39e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e622fcf6\u003c/code\u003e to \u003ccode\u003ec1d50ea\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/148\"\u003e#148\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/59751db1b3fb71e9e8826d9c7222a220457be7bd...ac90d97fc828a618ab8b7056755b514b4a1317cb\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2092","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2092","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2092/packages"},{"uuid":"2559922376","node_id":"PR_kwDOAoT5bM6YlVDI","number":2090,"state":"closed","title":"Bump rupicola from `59751db` to `307c633`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-04T08:43:26.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-02T09:27:38.000Z","updated_at":"2025-06-04T08:43:26.000Z","time_to_close":170148,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`59751db`","new_version":"`307c633`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `59751db` to `307c633`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/307c6339ba79d0796a6283048913b1b50c2c187a\"\u003e\u003ccode\u003e307c633\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e28b23cb\u003c/code\u003e to \u003ccode\u003ed00605c\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/150\"\u003e#150\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/9e0facd51afd6891067047169d9c4f9a0c84cf9a\"\u003e\u003ccode\u003e9e0facd\u003c/code\u003e\u003c/a\u003e bump bedrock2\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/23af39ee711c1a38500593cf76343583dbf48c11\"\u003e\u003ccode\u003e23af39e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e622fcf6\u003c/code\u003e to \u003ccode\u003ec1d50ea\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/148\"\u003e#148\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/59751db1b3fb71e9e8826d9c7222a220457be7bd...307c6339ba79d0796a6283048913b1b50c2c187a\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2090","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2090","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2090/packages"},{"uuid":"2518559300","node_id":"PR_kwDOAoT5bM6WHipE","number":2087,"state":"closed","title":"Bump rupicola from `59751db` to `9e0facd`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-02T09:27:41.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-14T08:22:54.000Z","updated_at":"2025-06-02T09:27:41.000Z","time_to_close":1645487,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`59751db`","new_version":"`9e0facd`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `59751db` to `9e0facd`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/9e0facd51afd6891067047169d9c4f9a0c84cf9a\"\u003e\u003ccode\u003e9e0facd\u003c/code\u003e\u003c/a\u003e bump bedrock2\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/23af39ee711c1a38500593cf76343583dbf48c11\"\u003e\u003ccode\u003e23af39e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e622fcf6\u003c/code\u003e to \u003ccode\u003ec1d50ea\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/148\"\u003e#148\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/59751db1b3fb71e9e8826d9c7222a220457be7bd...9e0facd51afd6891067047169d9c4f9a0c84cf9a\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2087","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2087","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2087/packages"},{"uuid":"2513130236","node_id":"PR_kwDOAoT5bM6Vy1L8","number":2084,"state":"closed","title":"Bump rupicola from `59751db` to `23af39e`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-05-14T08:22:56.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-12T08:43:20.000Z","updated_at":"2025-05-14T08:22:57.000Z","time_to_close":171576,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`59751db`","new_version":"`23af39e`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `59751db` to `23af39e`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/23af39ee711c1a38500593cf76343583dbf48c11\"\u003e\u003ccode\u003e23af39e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e622fcf6\u003c/code\u003e to \u003ccode\u003ec1d50ea\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/148\"\u003e#148\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/59751db1b3fb71e9e8826d9c7222a220457be7bd...23af39ee711c1a38500593cf76343583dbf48c11\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2084","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2084","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2084/packages"}],"issue_packages":[{"old_version":"`4203257`","new_version":"`dcb40f9`","update_type":null,"path":null,"pr_created_at":"2026-02-18T15:37:20.000Z","version_change":"`4203257` → `dcb40f9`","issue":{"uuid":"3958454772","node_id":"PR_kwDOAoT5bM7Epq1Y","number":2264,"state":"open","title":"Bump rupicola from `4203257` to `dcb40f9`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":null,"author_association":null,"state_reason":null,"created_at":"2026-02-18T15:37:20.000Z","updated_at":"2026-02-20T08:03:22.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`4203257`","new_version":"`dcb40f9`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `4203257` to `dcb40f9`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/dcb40f927703138c6439d4bd9c803b6cdc929182\"\u003e\u003ccode\u003edcb40f9\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003eca9b09a\u003c/code\u003e to \u003ccode\u003e2a59d2e\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/193\"\u003e#193\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/42032579f55310a04244d0b7467ee8ddb79b81e2...dcb40f927703138c6439d4bd9c803b6cdc929182\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2264","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2264","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2264/packages"}},{"old_version":"`2db995f`","new_version":"`a1a812e`","update_type":null,"path":null,"pr_created_at":"2025-09-15T08:51:40.000Z","version_change":"`2db995f` → `a1a812e`","issue":{"uuid":"2828362548","node_id":"PR_kwDOAoT5bM6olWM0","number":2160,"state":"closed","title":"Bump rupicola from `2db995f` to `a1a812e`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-09-17T04:40:20.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-15T08:51:40.000Z","updated_at":"2025-09-17T04:40:21.000Z","time_to_close":157720,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`2db995f`","new_version":"`a1a812e`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `2db995f` to `a1a812e`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/a1a812ec88bb958604f542c49998788dd2d1c9ca\"\u003e\u003ccode\u003ea1a812e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003efbfe133\u003c/code\u003e to \u003ccode\u003e84cfff9\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/181\"\u003e#181\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/a04aba5235c96d7eba017e3950be4315b2839fa0\"\u003e\u003ccode\u003ea04aba5\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e8f29630\u003c/code\u003e to \u003ccode\u003efbfe133\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/180\"\u003e#180\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/2db995fabfb1c650427585c463d757eb09470f98...a1a812ec88bb958604f542c49998788dd2d1c9ca\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2160","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2160","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2160/packages"}},{"old_version":"`2db995f`","new_version":"`a04aba5`","update_type":null,"path":null,"pr_created_at":"2025-09-11T08:03:11.000Z","version_change":"`2db995f` → `a04aba5`","issue":{"uuid":"2818081573","node_id":"PR_kwDOAoT5bM6n-IMl","number":2159,"state":"closed","title":"Bump rupicola from `2db995f` to `a04aba5`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-15T08:51:43.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-11T08:03:11.000Z","updated_at":"2025-09-15T08:51:43.000Z","time_to_close":348512,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`2db995f`","new_version":"`a04aba5`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `2db995f` to `a04aba5`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/a04aba5235c96d7eba017e3950be4315b2839fa0\"\u003e\u003ccode\u003ea04aba5\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e8f29630\u003c/code\u003e to \u003ccode\u003efbfe133\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/180\"\u003e#180\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/2db995fabfb1c650427585c463d757eb09470f98...a04aba5235c96d7eba017e3950be4315b2839fa0\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2159","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2159","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2159/packages"}},{"old_version":"`ea5f3ef`","new_version":"`cd55652`","update_type":null,"path":null,"pr_created_at":"2025-09-03T23:53:15.000Z","version_change":"`ea5f3ef` → `cd55652`","issue":{"uuid":"2797556994","node_id":"PR_kwDOAoT5bM6mv1UC","number":2150,"state":"open","title":"Bump rupicola from `ea5f3ef` to `cd55652`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-03T23:53:15.000Z","updated_at":"2025-09-03T23:53:16.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`ea5f3ef`","new_version":"`cd55652`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `ea5f3ef` to `cd55652`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/cd556520a4bffe2c3d2010e6045e51ef97b92dfa\"\u003e\u003ccode\u003ecd55652\u003c/code\u003e\u003c/a\u003e Use parallel make in coq-docker (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/176\"\u003e#176\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/ea5f3efc75737341e8edee650d6bcb992b39401e...cd556520a4bffe2c3d2010e6045e51ef97b92dfa\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2150","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2150","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2150/packages"}},{"old_version":"`ce1c904`","new_version":"`57cc19e`","update_type":null,"path":null,"pr_created_at":"2025-08-13T08:07:45.000Z","version_change":"`ce1c904` → `57cc19e`","issue":{"uuid":"2741878525","node_id":"PR_kwDOAoT5bM6jbb79","number":2138,"state":"open","title":"Bump rupicola from `ce1c904` to `57cc19e`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-13T08:07:45.000Z","updated_at":"2025-08-13T08:07:45.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`ce1c904`","new_version":"`57cc19e`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `ce1c904` to `57cc19e`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/57cc19e727c35145b8bfb4ab4315b6245ac0166c\"\u003e\u003ccode\u003e57cc19e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e5ec3fc9\u003c/code\u003e to \u003ccode\u003ec2c7511\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/167\"\u003e#167\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/fc2c6a74a8b0de93f8f87f031e4a10d5c0773ab4\"\u003e\u003ccode\u003efc2c6a7\u003c/code\u003e\u003c/a\u003e build(deps): bump actions/checkout from 4 to 5 (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/166\"\u003e#166\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/ce1c90485e0b601b5f88638a9db86eebbb6aa514...57cc19e727c35145b8bfb4ab4315b6245ac0166c\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2138","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2138","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2138/packages"}},{"old_version":"`4c70cff`","new_version":"`ce1c904`","update_type":null,"path":null,"pr_created_at":"2025-08-11T12:33:11.000Z","version_change":"`4c70cff` → `ce1c904`","issue":{"uuid":"2735327313","node_id":"PR_kwDOAoT5bM6jCchR","number":2136,"state":"closed","title":"Bump rupicola from `4c70cff` to `ce1c904`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-08-11T16:28:03.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-11T12:33:11.000Z","updated_at":"2025-08-11T16:28:03.000Z","time_to_close":14092,"merged_at":"2025-08-11T16:28:03.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`4c70cff`","new_version":"`ce1c904`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `4c70cff` to `ce1c904`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/ce1c90485e0b601b5f88638a9db86eebbb6aa514\"\u003e\u003ccode\u003ece1c904\u003c/code\u003e\u003c/a\u003e Add a copy of assuming_correctness_of_in (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/165\"\u003e#165\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/4c70cff7314d192257c4b7d3336f08c678dbf18e...ce1c90485e0b601b5f88638a9db86eebbb6aa514\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2136","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2136","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2136/packages"}},{"old_version":"`274f70a`","new_version":"`4c70cff`","update_type":null,"path":null,"pr_created_at":"2025-07-16T08:14:35.000Z","version_change":"`274f70a` → `4c70cff`","issue":{"uuid":"2669800056","node_id":"PR_kwDOAoT5bM6fIep4","number":2125,"state":"open","title":"Bump rupicola from `274f70a` to `4c70cff`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-16T08:14:35.000Z","updated_at":"2025-07-16T08:14:36.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`274f70a`","new_version":"`4c70cff`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `274f70a` to `4c70cff`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/4c70cff7314d192257c4b7d3336f08c678dbf18e\"\u003e\u003ccode\u003e4c70cff\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e3f2a6e5\u003c/code\u003e to \u003ccode\u003e5ec3fc9\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/164\"\u003e#164\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/3873aa5ab6d55df781c201aa86305624b7d580a1\"\u003e\u003ccode\u003e3873aa5\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e8abe303\u003c/code\u003e to \u003ccode\u003e3f2a6e5\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/163\"\u003e#163\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/274f70a6ab760a9022ae910006043f30622b45a9...4c70cff7314d192257c4b7d3336f08c678dbf18e\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2125","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2125","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2125/packages"}},{"old_version":"`514ea77`","new_version":"`896aee0`","update_type":null,"path":null,"pr_created_at":"2025-07-02T08:04:43.000Z","version_change":"`514ea77` → `896aee0`","issue":{"uuid":"2634645632","node_id":"PR_kwDOAoT5bM6dCYCA","number":2115,"state":"open","title":"Bump rupicola from `514ea77` to `896aee0`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-02T08:04:43.000Z","updated_at":"2025-07-02T08:04:44.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`514ea77`","new_version":"`896aee0`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `514ea77` to `896aee0`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/896aee0db9844b6db2e2ed9c350f4dc996ec8c6f\"\u003e\u003ccode\u003e896aee0\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e16693a2\u003c/code\u003e to \u003ccode\u003ea7c9cb5\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/161\"\u003e#161\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/6195d102bb39ad78419eeda94bb6f5a15973f5de\"\u003e\u003ccode\u003e6195d10\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e257f544\u003c/code\u003e to \u003ccode\u003e16693a2\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/160\"\u003e#160\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/514ea775afbf46d628051a46eeba0046c666ddf3...896aee0db9844b6db2e2ed9c350f4dc996ec8c6f\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2115","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2115","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2115/packages"}},{"old_version":"`408c6ff`","new_version":"`514ea77`","update_type":null,"path":null,"pr_created_at":"2025-06-24T08:52:59.000Z","version_change":"`408c6ff` → `514ea77`","issue":{"uuid":"3171040477","node_id":"PR_kwDOAoT5bM6b0UTf","number":2110,"state":"closed","title":"Bump rupicola from `408c6ff` to `514ea77`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":3,"pull_request":true,"closed_at":"2025-06-30T18:36:05.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-24T08:52:59.000Z","updated_at":"2025-06-30T18:36:08.000Z","time_to_close":553386,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`408c6ff`","new_version":"`514ea77`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `408c6ff` to `514ea77`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/514ea775afbf46d628051a46eeba0046c666ddf3\"\u003e\u003ccode\u003e514ea77\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003ed9c30f1\u003c/code\u003e to \u003ccode\u003e257f544\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/159\"\u003e#159\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/a402a7d0a0b2d88ac6bc2a7462d0195d27a32430\"\u003e\u003ccode\u003ea402a7d\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e7a92310\u003c/code\u003e to \u003ccode\u003ed9c30f1\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/158\"\u003e#158\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/408c6ff73dfc5b923a4746287e2598878f75ff4a...514ea775afbf46d628051a46eeba0046c666ddf3\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2110","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2110","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2110/packages"}},{"old_version":"`59751db`","new_version":"`ac90d97`","update_type":null,"path":null,"pr_created_at":"2025-06-04T08:43:23.000Z","version_change":"`59751db` → `ac90d97`","issue":{"uuid":"3117006020","node_id":"PR_kwDOAoT5bM6Y-vrG","number":2092,"state":"closed","title":"Bump rupicola from `59751db` to `ac90d97`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-06T08:21:03.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-04T08:43:23.000Z","updated_at":"2025-06-06T08:21:04.000Z","time_to_close":171460,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`59751db`","new_version":"`ac90d97`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `59751db` to `ac90d97`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/ac90d97fc828a618ab8b7056755b514b4a1317cb\"\u003e\u003ccode\u003eac90d97\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003ed00605c\u003c/code\u003e to \u003ccode\u003e0fc2662\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/151\"\u003e#151\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/307c6339ba79d0796a6283048913b1b50c2c187a\"\u003e\u003ccode\u003e307c633\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e28b23cb\u003c/code\u003e to \u003ccode\u003ed00605c\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/150\"\u003e#150\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/9e0facd51afd6891067047169d9c4f9a0c84cf9a\"\u003e\u003ccode\u003e9e0facd\u003c/code\u003e\u003c/a\u003e bump bedrock2\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/23af39ee711c1a38500593cf76343583dbf48c11\"\u003e\u003ccode\u003e23af39e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e622fcf6\u003c/code\u003e to \u003ccode\u003ec1d50ea\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/148\"\u003e#148\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/59751db1b3fb71e9e8826d9c7222a220457be7bd...ac90d97fc828a618ab8b7056755b514b4a1317cb\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2092","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2092","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2092/packages"}},{"old_version":"`59751db`","new_version":"`307c633`","update_type":null,"path":null,"pr_created_at":"2025-06-02T09:27:38.000Z","version_change":"`59751db` → `307c633`","issue":{"uuid":"2559922376","node_id":"PR_kwDOAoT5bM6YlVDI","number":2090,"state":"closed","title":"Bump rupicola from `59751db` to `307c633`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-04T08:43:26.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-06-02T09:27:38.000Z","updated_at":"2025-06-04T08:43:26.000Z","time_to_close":170148,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`59751db`","new_version":"`307c633`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `59751db` to `307c633`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/307c6339ba79d0796a6283048913b1b50c2c187a\"\u003e\u003ccode\u003e307c633\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e28b23cb\u003c/code\u003e to \u003ccode\u003ed00605c\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/150\"\u003e#150\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/9e0facd51afd6891067047169d9c4f9a0c84cf9a\"\u003e\u003ccode\u003e9e0facd\u003c/code\u003e\u003c/a\u003e bump bedrock2\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/23af39ee711c1a38500593cf76343583dbf48c11\"\u003e\u003ccode\u003e23af39e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e622fcf6\u003c/code\u003e to \u003ccode\u003ec1d50ea\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/148\"\u003e#148\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/59751db1b3fb71e9e8826d9c7222a220457be7bd...307c6339ba79d0796a6283048913b1b50c2c187a\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2090","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2090","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2090/packages"}},{"old_version":"`59751db`","new_version":"`9e0facd`","update_type":null,"path":null,"pr_created_at":"2025-05-14T08:22:54.000Z","version_change":"`59751db` → `9e0facd`","issue":{"uuid":"2518559300","node_id":"PR_kwDOAoT5bM6WHipE","number":2087,"state":"closed","title":"Bump rupicola from `59751db` to `9e0facd`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-06-02T09:27:41.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-14T08:22:54.000Z","updated_at":"2025-06-02T09:27:41.000Z","time_to_close":1645487,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`59751db`","new_version":"`9e0facd`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `59751db` to `9e0facd`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/9e0facd51afd6891067047169d9c4f9a0c84cf9a\"\u003e\u003ccode\u003e9e0facd\u003c/code\u003e\u003c/a\u003e bump bedrock2\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/23af39ee711c1a38500593cf76343583dbf48c11\"\u003e\u003ccode\u003e23af39e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e622fcf6\u003c/code\u003e to \u003ccode\u003ec1d50ea\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/148\"\u003e#148\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/59751db1b3fb71e9e8826d9c7222a220457be7bd...9e0facd51afd6891067047169d9c4f9a0c84cf9a\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2087","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2087","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2087/packages"}},{"old_version":"`59751db`","new_version":"`23af39e`","update_type":null,"path":null,"pr_created_at":"2025-05-12T08:43:20.000Z","version_change":"`59751db` → `23af39e`","issue":{"uuid":"2513130236","node_id":"PR_kwDOAoT5bM6Vy1L8","number":2084,"state":"closed","title":"Bump rupicola from `59751db` to `23af39e`","user":"dependabot[bot]","labels":["submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-05-14T08:22:56.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-05-12T08:43:20.000Z","updated_at":"2025-05-14T08:22:57.000Z","time_to_close":171576,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"rupicola","old_version":"`59751db`","new_version":"`23af39e`","repository_url":"https://github.com/mit-plv/rupicola"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [rupicola](https://github.com/mit-plv/rupicola) from `59751db` to `23af39e`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/mit-plv/rupicola/commit/23af39ee711c1a38500593cf76343583dbf48c11\"\u003e\u003ccode\u003e23af39e\u003c/code\u003e\u003c/a\u003e build(deps): bump bedrock2 from \u003ccode\u003e622fcf6\u003c/code\u003e to \u003ccode\u003ec1d50ea\u003c/code\u003e (\u003ca href=\"https://redirect.github.com/mit-plv/rupicola/issues/148\"\u003e#148\u003c/a\u003e)\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/mit-plv/rupicola/compare/59751db1b3fb71e9e8826d9c7222a220457be7bd...23af39ee711c1a38500593cf76343583dbf48c11\"\u003ecompare view\u003c/a\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/details\u003e\n\u003cbr /\u003e\n\n\nDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n\u003cdetails\u003e\n\u003csummary\u003eDependabot commands and options\u003c/summary\u003e\n\u003cbr /\u003e\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge and block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually\n- `@dependabot show \u003cdependency name\u003e ignore conditions` will show all of the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)\n\n\n\u003c/details\u003e","html_url":"https://github.com/mit-plv/fiat-crypto/pull/2084","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-plv%2Ffiat-crypto/issues/2084","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/2084/packages"}}]}