{"id":49714,"name":"external/iris-named-props","ecosystem":"submodules","repository_url":null,"issues_count":3,"created_at":"2025-07-07T12:13:24.155Z","updated_at":"2025-07-07T12:13:24.155Z","purl":"pkg:submodules/external/iris-named-props","unique_repositories_count":2,"unique_repositories_count_past_30_days":2,"recent_issues":[{"uuid":"2794684470","node_id":"PR_kwDOClcaEM6mk4A2","number":351,"state":"open","title":"build(deps): bump external/iris-named-props from `c9a767d` to `1b52e9a`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-03T05:41:32.000Z","updated_at":"2025-09-03T05:41:33.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"external/iris-named-props","old_version":"`c9a767d`","new_version":"`1b52e9a`","repository_url":"https://github.com/tchajed/iris-named-props"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/iris-named-props](https://github.com/tchajed/iris-named-props) from `c9a767d` to `1b52e9a`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/1b52e9aae3cdcd3578ea9a236529186dbb79f112\"\u003e\u003ccode\u003e1b52e9a\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/tchajed/iris-named-props/issues/16\"\u003e#16\u003c/a\u003e from sanjit-bhat/iris-1141\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/285c1b9365f1e15db9b84668590e21353e8cea02\"\u003e\u003ccode\u003e285c1b9\u003c/code\u003e\u003c/a\u003e adapt to iris#1141. remove deprecated \u003ccode\u003eproofmode/tactics.v\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/iris-named-props/compare/c9a767db6d7f53244141a926b08db55b8ed22b0c...1b52e9aae3cdcd3578ea9a236529186dbb79f112\"\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-pdos/perennial/pull/351","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/351","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/351/packages"},{"uuid":"3295881541","node_id":"PR_kwDOPSBZtc6iV8K-","number":11,"state":"closed","title":"Bump external/iris-named-props from `28514d2` to `c9a767d`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-03T04:45:39.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-06T09:04:31.000Z","updated_at":"2025-09-03T04:45:39.000Z","time_to_close":2403668,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/iris-named-props","old_version":"`28514d2`","new_version":"`c9a767d`","repository_url":"https://github.com/tchajed/iris-named-props"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/iris-named-props](https://github.com/tchajed/iris-named-props) from `28514d2` to `c9a767d`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/c9a767db6d7f53244141a926b08db55b8ed22b0c\"\u003e\u003ccode\u003ec9a767d\u003c/code\u003e\u003c/a\u003e Bump iris version\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/a292a684f196c7d9437acd3f7d72a44ff3d1852f\"\u003e\u003ccode\u003ea292a68\u003c/code\u003e\u003c/a\u003e Attempt opam update in CI\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/ffd27e245523758644afa26f3bf4bc7c8c9058e9\"\u003e\u003ccode\u003effd27e2\u003c/code\u003e\u003c/a\u003e Fix custom syntax for iris change\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/iris-named-props/compare/28514d2c11a9ab7ae304cf9ae411fc5cb384fd10...c9a767db6d7f53244141a926b08db55b8ed22b0c\"\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/tlsomers/perennial/pull/11","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/11","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/11/packages"},{"uuid":"2646305859","node_id":"PR_kwDOClcaEM6du2xD","number":291,"state":"closed","title":"Bump external/iris-named-props from `342aee0` to `28514d2`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-07T12:17:23.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-07T10:44:48.000Z","updated_at":"2025-07-07T12:17:23.000Z","time_to_close":5555,"merged_at":"2025-07-07T12:17:23.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/iris-named-props","old_version":"`342aee0`","new_version":"`28514d2`","repository_url":"https://github.com/tchajed/iris-named-props"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/iris-named-props](https://github.com/tchajed/iris-named-props) from `342aee0` to `28514d2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/28514d2c11a9ab7ae304cf9ae411fc5cb384fd10\"\u003e\u003ccode\u003e28514d2\u003c/code\u003e\u003c/a\u003e Fix some things in the README\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/2f2350685ce8bbcb98329f8330d48583fa9c2cde\"\u003e\u003ccode\u003e2f23506\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/tchajed/iris-named-props/issues/13\"\u003e#13\u003c/a\u003e from bn-peters/fix-iris-version\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/7e69c62aa621aa4b9598172081833fee115c06a4\"\u003e\u003ccode\u003e7e69c62\u003c/code\u003e\u003c/a\u003e enforce bumped Iris version\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/iris-named-props/compare/342aee0e07ef567bcc27a5629d2d87aa4dd34549...28514d2c11a9ab7ae304cf9ae411fc5cb384fd10\"\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-pdos/perennial/pull/291","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/291","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/291/packages"}],"issue_packages":[{"old_version":"`c9a767d`","new_version":"`1b52e9a`","update_type":null,"path":null,"pr_created_at":"2025-09-03T05:41:32.000Z","version_change":"`c9a767d` → `1b52e9a`","issue":{"uuid":"2794684470","node_id":"PR_kwDOClcaEM6mk4A2","number":351,"state":"open","title":"build(deps): bump external/iris-named-props from `c9a767d` to `1b52e9a`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":null,"author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-09-03T05:41:32.000Z","updated_at":"2025-09-03T05:41:33.000Z","time_to_close":null,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"build(deps)","packages":[{"name":"external/iris-named-props","old_version":"`c9a767d`","new_version":"`1b52e9a`","repository_url":"https://github.com/tchajed/iris-named-props"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/iris-named-props](https://github.com/tchajed/iris-named-props) from `c9a767d` to `1b52e9a`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/1b52e9aae3cdcd3578ea9a236529186dbb79f112\"\u003e\u003ccode\u003e1b52e9a\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/tchajed/iris-named-props/issues/16\"\u003e#16\u003c/a\u003e from sanjit-bhat/iris-1141\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/285c1b9365f1e15db9b84668590e21353e8cea02\"\u003e\u003ccode\u003e285c1b9\u003c/code\u003e\u003c/a\u003e adapt to iris#1141. remove deprecated \u003ccode\u003eproofmode/tactics.v\u003c/code\u003e\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/iris-named-props/compare/c9a767db6d7f53244141a926b08db55b8ed22b0c...1b52e9aae3cdcd3578ea9a236529186dbb79f112\"\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-pdos/perennial/pull/351","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/351","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/351/packages"}},{"old_version":"`28514d2`","new_version":"`c9a767d`","update_type":null,"path":null,"pr_created_at":"2025-08-06T09:04:31.000Z","version_change":"`28514d2` → `c9a767d`","issue":{"uuid":"3295881541","node_id":"PR_kwDOPSBZtc6iV8K-","number":11,"state":"closed","title":"Bump external/iris-named-props from `28514d2` to `c9a767d`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":1,"pull_request":true,"closed_at":"2025-09-03T04:45:39.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-08-06T09:04:31.000Z","updated_at":"2025-09-03T04:45:39.000Z","time_to_close":2403668,"merged_at":null,"merged_by":null,"closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/iris-named-props","old_version":"`28514d2`","new_version":"`c9a767d`","repository_url":"https://github.com/tchajed/iris-named-props"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/iris-named-props](https://github.com/tchajed/iris-named-props) from `28514d2` to `c9a767d`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/c9a767db6d7f53244141a926b08db55b8ed22b0c\"\u003e\u003ccode\u003ec9a767d\u003c/code\u003e\u003c/a\u003e Bump iris version\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/a292a684f196c7d9437acd3f7d72a44ff3d1852f\"\u003e\u003ccode\u003ea292a68\u003c/code\u003e\u003c/a\u003e Attempt opam update in CI\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/ffd27e245523758644afa26f3bf4bc7c8c9058e9\"\u003e\u003ccode\u003effd27e2\u003c/code\u003e\u003c/a\u003e Fix custom syntax for iris change\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/iris-named-props/compare/28514d2c11a9ab7ae304cf9ae411fc5cb384fd10...c9a767db6d7f53244141a926b08db55b8ed22b0c\"\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/tlsomers/perennial/pull/11","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlsomers%2Fperennial/issues/11","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/11/packages"}},{"old_version":"`342aee0`","new_version":"`28514d2`","update_type":null,"path":null,"pr_created_at":"2025-07-07T10:44:48.000Z","version_change":"`342aee0` → `28514d2`","issue":{"uuid":"2646305859","node_id":"PR_kwDOClcaEM6du2xD","number":291,"state":"closed","title":"Bump external/iris-named-props from `342aee0` to `28514d2`","user":"dependabot[bot]","labels":["dependencies","submodules"],"assignees":[],"locked":false,"comments_count":0,"pull_request":true,"closed_at":"2025-07-07T12:17:23.000Z","author_association":"CONTRIBUTOR","state_reason":null,"created_at":"2025-07-07T10:44:48.000Z","updated_at":"2025-07-07T12:17:23.000Z","time_to_close":5555,"merged_at":"2025-07-07T12:17:23.000Z","merged_by":"github-actions[bot]","closed_by":null,"dependency_metadata":{"prefix":"Bump","packages":[{"name":"external/iris-named-props","old_version":"`342aee0`","new_version":"`28514d2`","repository_url":"https://github.com/tchajed/iris-named-props"}],"path":null,"ecosystem":"submodules"},"body":"Bumps [external/iris-named-props](https://github.com/tchajed/iris-named-props) from `342aee0` to `28514d2`.\n\u003cdetails\u003e\n\u003csummary\u003eCommits\u003c/summary\u003e\n\u003cul\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/28514d2c11a9ab7ae304cf9ae411fc5cb384fd10\"\u003e\u003ccode\u003e28514d2\u003c/code\u003e\u003c/a\u003e Fix some things in the README\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/2f2350685ce8bbcb98329f8330d48583fa9c2cde\"\u003e\u003ccode\u003e2f23506\u003c/code\u003e\u003c/a\u003e Merge pull request \u003ca href=\"https://redirect.github.com/tchajed/iris-named-props/issues/13\"\u003e#13\u003c/a\u003e from bn-peters/fix-iris-version\u003c/li\u003e\n\u003cli\u003e\u003ca href=\"https://github.com/tchajed/iris-named-props/commit/7e69c62aa621aa4b9598172081833fee115c06a4\"\u003e\u003ccode\u003e7e69c62\u003c/code\u003e\u003c/a\u003e enforce bumped Iris version\u003c/li\u003e\n\u003cli\u003eSee full diff in \u003ca href=\"https://github.com/tchajed/iris-named-props/compare/342aee0e07ef567bcc27a5629d2d87aa4dd34549...28514d2c11a9ab7ae304cf9ae411fc5cb384fd10\"\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-pdos/perennial/pull/291","url":"https://dependabot.ecosyste.ms/api/v1/hosts/GitHub/repositories/mit-pdos%2Fperennial/issues/291","packages_url":"https://dependabot.ecosyste.ms/api/v1/issues/291/packages"}}]}