28859272471

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
28859272471	master	refactor: reduce the size of the thread buckets at larger maxtermsize Using "large" values of MaxTermSize (say, 5M, 10M, ...) results in very large allocations for the thread buffers, since they historically have been ThreadBucketCount(500)/4*Max...	push	07 Jul 2026 10:36AM UTC	jodavies	github	63.19
28846096946	pr/ci/update-dependabot-config	ci: include composite actions in Dependabot updates	push	07 Jul 2026 06:45AM UTC	tueda	github	63.15
28845822541	dependabot/github_actions/dot-github/actions/setup-build/awalsh128/cache-apt-pkgs-action-1.6.3	build(deps): bump awalsh128/cache-apt-pkgs-action Bumps [awalsh128/cache-apt-pkgs-action](https://github.com/awalsh128/cache-apt-pkgs-action) from 1.6.1 to 1.6.3. - [Release notes](https://github.com/awalsh128/cache-apt-pkgs-action/releases) - [C...	Pull #15	07 Jul 2026 06:27AM UTC	web-flow	github	63.15
28843804131	pr/ci/flint-3.6.0	ci: update FLINT to 3.6.0	push	07 Jul 2026 05:38AM UTC	tueda	github	63.15
28833211988	ci/flint-3.6.0	ci: update FLINT to 3.6.0	push	07 Jul 2026 12:50AM UTC	tueda	github	63.15
28662897253	dependabot/github_actions/dot-github/actions/setup-build/actions/cache-6	build(deps): bump actions/cache in /.github/actions/setup-build Bumps [actions/cache](https://github.com/actions/cache) from 5 to 6. - [Release notes](https://github.com/actions/cache/releases) - [Changelog](https://github.com/actions/cache/blob/...	Pull #12	03 Jul 2026 01:30PM UTC	web-flow	github	63.16
28182220822	pr/ci/stale-workflow	ci: add stale issue workflow	push	25 Jun 2026 03:47PM UTC	tueda	github	63.14
28134523839	pr/ci/stale-workflow	ci: add stale issue workflow	push	24 Jun 2026 11:12PM UTC	tueda	github	63.14
28134053400	pr/ci/stale-workflow	ci: add stale issue workflow	push	24 Jun 2026 10:44PM UTC	tueda	github	63.16
28132932081	ci/test-dependabot	ci: [test] update dependabot configuration	push	24 Jun 2026 10:17PM UTC	tueda	github	63.15
28108499341	dependabot/github_actions/dot-github/actions/setup-build/actions/cache-5.0.5	build(deps): bump actions/cache in /.github/actions/setup-build Bumps [actions/cache](https://github.com/actions/cache) from 5 to 5.0.5. - [Release notes](https://github.com/actions/cache/releases) - [Changelog](https://github.com/actions/cache/b...	Pull #11	24 Jun 2026 03:34PM UTC	web-flow	github	63.15
28105056204	dependabot/github_actions/actions/checkout-7	build(deps): bump actions/checkout from 6 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 6 to 7. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/...	Pull #10	24 Jun 2026 02:30PM UTC	web-flow	github	63.15
28104961800	master	ci: [test] update dependabot configuration	push	24 Jun 2026 02:22PM UTC	tueda	github	63.15
28095723788	master	test: add test option #require flint? for the test suite.	push	24 Jun 2026 11:41AM UTC	cbmarini	github	63.15
27827901415	dependabot/github_actions/actions/checkout-6.0.3	build(deps): bump actions/checkout from 6 to 6.0.3 Bumps [actions/checkout](https://github.com/actions/checkout) from 6 to 6.0.3. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/bl...	Pull #9	19 Jun 2026 01:19PM UTC	web-flow	github	62.83

← Previous
1
2
3
4
5
6
7
8
9
…
56
57
Next →