From 43bb51c3cc1fdc693fd4b4b2c08ded0dbcbe62dd Mon Sep 17 00:00:00 2001 From: DocBot Date: Tue, 17 Dec 2024 01:32:50 +0000 Subject: [PATCH] Update README.md --- README.md | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index f4a80a1497..bc1ad74bf6 100644 --- a/README.md +++ b/README.md @@ -1,14 +1,10 @@ -* [Documentation for PR #11452](docs-pr11452/) (built from [2bd8015](https://github.com/cvc5/cvc5/commit/2bd8015) @ [PR #11452](https://github.com/cvc5/cvc5/pull/11452), Dec Mon 16, 22:48 UTC) - -*** - * [Documentation for main](docs-main/) (built from [8cfac8f](https://github.com/cvc5/cvc5/commit/8cfac8f) @ [main](https://github.com/cvc5/cvc5/tree/main), 3 days ago) -* [Documentation for PR #11453](docs-pr11453/) (built from [f251337](https://github.com/cvc5/cvc5/commit/f251337) @ [PR #11453](https://github.com/cvc5/cvc5/pull/11453), 52 minutes ago) -* [Documentation for PR #11452](docs-pr11452/) (built from [2bd8015](https://github.com/cvc5/cvc5/commit/2bd8015) @ [PR #11452](https://github.com/cvc5/cvc5/pull/11452), now) -* [Documentation for PR #11451](docs-pr11451/) (built from [b83417a](https://github.com/cvc5/cvc5/commit/b83417a) @ [PR #11451](https://github.com/cvc5/cvc5/pull/11451), 2 hours ago) +* [Documentation for PR #11453](docs-pr11453/) (built from [f251337](https://github.com/cvc5/cvc5/commit/f251337) @ [PR #11453](https://github.com/cvc5/cvc5/pull/11453), 4 hours ago) +* [Documentation for PR #11452](docs-pr11452/) (built from [2bd8015](https://github.com/cvc5/cvc5/commit/2bd8015) @ [PR #11452](https://github.com/cvc5/cvc5/pull/11452), 3 hours ago) +* [Documentation for PR #11451](docs-pr11451/) (built from [b83417a](https://github.com/cvc5/cvc5/commit/b83417a) @ [PR #11451](https://github.com/cvc5/cvc5/pull/11451), 5 hours ago) * [Documentation for PR #11450](docs-pr11450/) (built from [22817d8](https://github.com/cvc5/cvc5/commit/22817d8) @ [PR #11450](https://github.com/cvc5/cvc5/pull/11450), 3 days ago) * [Documentation for PR #11449](docs-pr11449/) (built from [2660608](https://github.com/cvc5/cvc5/commit/2660608) @ [PR #11449](https://github.com/cvc5/cvc5/pull/11449), 3 days ago) * [Documentation for PR #11448](docs-pr11448/) (built from [7d36a64](https://github.com/cvc5/cvc5/commit/7d36a64) @ [PR #11448](https://github.com/cvc5/cvc5/pull/11448), 3 days ago)