Update README.md

cvc5 · Dec 17, 2024 · 43bb51c · 43bb51c
1 parent 0a22485
commit 43bb51c
Showing 1 changed file with 3 additions and 7 deletions.
diff --git 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)