17914023459

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
17914023459	main	build(deps): bump poetry from 2.2.0 to 2.2.1 in /devtools (#3235) * build(deps): bump poetry from 2.2.0 to 2.2.1 in /devtools Bumps [poetry](https://github.com/python-poetry/poetry) from 2.2.0 to 2.2.1. - [Release notes](https://github.com/pytho...	push	22 Sep 2025 11:50AM UTC	web-flow	github	90.29
17912225921	dependabot/pip/devtools/poetry-2.2.1	Merge f1e5361e4 into 52ddd222c	Pull #3235	22 Sep 2025 11:30AM UTC	web-flow	github	90.29
17906116661	main	build(deps-dev): bump mypy from 1.16.0 to 1.18.1 (#3212) * build(deps-dev): bump mypy from 1.16.0 to 1.18.1 Bumps [mypy](https://github.com/python/mypy) from 1.16.0 to 1.18.1. - [Changelog](https://github.com/python/mypy/blob/master/CHANGELOG.md...	push	22 Sep 2025 06:17AM UTC	web-flow	github	90.29
17905127873	dependabot/pip/poetry-2.2.1	Merge 2c5bdc41e into 0600592fa	Pull #3232	22 Sep 2025 05:22AM UTC	web-flow	github	90.3
17894489310	dependabot/pip/mypy-1.18.1	Merge 33f423b2f into 0600592fa	Pull #3212	21 Sep 2025 01:53PM UTC	web-flow	github	90.3
17850225277	main	fix: remove python version upperbound (#3229) * fix: remove python version upperbound * chore: remove duplicate type checking import	push	19 Sep 2025 06:22AM UTC	web-flow	github	90.3
17849841219	fix/python-version	Merge 6c6614f13 into c1ed1a07c	Pull #3229	19 Sep 2025 06:03AM UTC	web-flow	github	90.3
17849610350	main	chore: 7.2.1 to main (#3228) * 7.1.3 prep (#3036) * 7.1.1 post release (#2953) * Fix Black formatting in ./admin/get_merged_prs.py (#2954) * build(deps-dev): bump ruff from 0.7.0 to 0.7.1 (#2955) Bumps [ruff](https://github.com/astral-s...	push	19 Sep 2025 05:47AM UTC	web-flow	github	90.29
17848361221	7.2.1-to-main	Merge 6a79bffa0 into 6143ffa09	Pull #3228	19 Sep 2025 04:26AM UTC	web-flow	github	90.3
17847145921	edmond/v7/post-release	Merge c752faa4c into 856c1af6b	Pull #3226	19 Sep 2025 03:16AM UTC	web-flow	github	90.35
17846159598	edmond/v7/python	Merge 7d2490b88 into 19a0ccf01	Pull #3225	19 Sep 2025 02:01AM UTC	web-flow	github	90.35
17819913403	v7/release-prep	Merge e8dce95f4 into f276bd6cc	Pull #3224	18 Sep 2025 06:28AM UTC	web-flow	github	90.36
17818809135	edmond/v7/deskolem-lit	Merge 186ad4a8c into 747b8d30e	Pull #3223	18 Sep 2025 05:26AM UTC	web-flow	github	90.36
17818533260	main	Fix incorrect deskolemization of literals (#3127) * Fix issue 3126 * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --------- Co-authored-by: Edmond Chuc <37032744+edmondchuc@users.noreply...	push	18 Sep 2025 05:08AM UTC	web-flow	github	90.3
17818094126	deskolemization-bug	Merge d9a8f334c into e8243f7dc	Pull #3127	18 Sep 2025 04:39AM UTC	web-flow	github	90.3

← Previous
1
2
3
4
5
6
7
8
9
…
279
280
Next →