ruma: Export web_time as time

This commit is contained in:
Hubert Chathi 2024-03-27 13:48:55 -04:00 committed by GitHub
parent 7b0056b3ab
commit c5f8137ba9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
4 changed files with 4 additions and 1 deletions

View File

@ -35,6 +35,7 @@ serde_html_form = "0.2.0"
serde_json = "1.0.87"
thiserror = "1.0.37"
tracing = { version = "0.1.37", default-features = false, features = ["std"] }
web-time = "1.1.0"
[profile.dev]
# Speeds up test times by more than 10% in a simple test

View File

@ -77,7 +77,7 @@ time = "0.3.34"
tracing = { workspace = true, features = ["attributes"] }
url = "2.2.2"
uuid = { version = "1.0.0", optional = true, features = ["v4"] }
web-time = "1.1.0"
web-time = { workspace = true }
wildmatch = "2.0.0"
[target.'cfg(all(target_arch = "wasm32", target_os = "unknown"))'.dependencies]

View File

@ -267,6 +267,7 @@ __ci = [
assign = { workspace = true }
js_int = { workspace = true }
js_option = "0.1.1"
web-time = { workspace = true }
ruma-common = { workspace = true }

View File

@ -130,3 +130,4 @@ pub use js_option::JsOption;
#[cfg(feature = "client-ext-client-api")]
pub use ruma_client::Client;
pub use ruma_common::*;
pub use web_time as time;