17894489310

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
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
17817877505	main	notation3.py: don't normalize float representation (#3020) * added n3 test to check for internal float normalization made as a separate commit to illustrate the old broken behavior priro to the fix in the next commit * notation3.py: don't norma...	push	18 Sep 2025 04:26AM UTC	web-flow	github	90.3
17816980235	edmond/v7/n3-no-norm-float	Merge 4ab7575a5 into c580c00db	Pull #3221	18 Sep 2025 03:29AM UTC	web-flow	github	90.36
17816639728	7-maintenance	Merge 8571fa2d8 into 721164cb7	Pull #3222	18 Sep 2025 03:07AM UTC	web-flow	github	90.36
17815906249	edmond/v7/n3-no-norm-float	Merge 09f5b00ac into 8571fa2d8	Pull #3221	18 Sep 2025 02:20AM UTC	web-flow	github	90.36

← Previous
1
2
…
8
9
10
11
12
13
14
15
16
…
288
289
Next →