Merge pull request 'Custom badges' (#125 ) from try-custom-badges into main

Reviewed-on: #125
better green
2024-02-20 14:57:10 +01:00 · 2024-02-20 14:55:52 +01:00 · 2024-02-20 14:54:58 +01:00 · 2024-02-20 14:52:01 +01:00 · 2024-02-20 14:42:02 +01:00 · 2024-02-20 14:36:34 +01:00
2 changed files with 7 additions and 0 deletions
--- a/README.md
+++ b/README.md
@@ -1,5 +1,7 @@
 <p align="center"> <img src="misc/satrs-logo.png" width="40%"> </p>

+[![sat-rs website](https://img.shields.io/badge/sat--rs-website-darkgreen?style=flat)](https://absatsw.irs.uni-stuttgart.de/projects/sat-rs/)
+[![sat-rs book](https://img.shields.io/badge/sat--rs-book-darkgreen?style=flat)](https://absatsw.irs.uni-stuttgart.de/projects/sat-rs/book/)
 [![Crates.io](https://img.shields.io/crates/v/satrs)](https://crates.io/crates/satrs)
 [![docs.rs](https://img.shields.io/docsrs/satrs)](https://docs.rs/satrs)

--- a/satrs/CHANGELOG.md
+++ b/satrs/CHANGELOG.md
@@ -17,6 +17,11 @@ and this project adheres to [Semantic Versioning](http://semver.org/).
 - New `VerificationReportingProvider` abstraction to avoid relying on a concrete verification
  reporting provider.

+## Changed
+
+- Verification reporter API timestamp arguments are not `Option`al anymore. Empty timestamps
+  can be passed by simply specifying the `&[]` empty slice argument.
+
 # [v0.1.1] 2024-02-12

 - Minor fixes for crate config `homepage` entries and links in documentation.
Author	SHA1	Message	Date
Robin Müller	f1611cd5b8	Merge pull request 'Custom badges' (#125 ) from try-custom-badges into main All checks were successful Rust/sat-rs/pipeline/head This commit looks good Details Reviewed-on: #125	2024-02-20 14:57:10 +01:00
Robin Mueller	808126ee41	better green Some checks are pending Rust/sat-rs/pipeline/head Build queued... Details	2024-02-20 14:55:52 +01:00
Robin Mueller	05df24447b	let's try this Some checks are pending Rust/sat-rs/pipeline/head Build started... Details	2024-02-20 14:54:58 +01:00
Robin Mueller	b229360233	try custom badges Some checks are pending Rust/sat-rs/pipeline/head Build started... Details	2024-02-20 14:52:01 +01:00
Robin Müller	52be26829b	Merge pull request 'First PUS handler abstractions with request mapping' (#121 ) from move-some-requests into main All checks were successful Rust/sat-rs/pipeline/head This commit looks good Details Reviewed-on: #121	2024-02-20 14:42:02 +01:00
Robin Mueller	ca2c8aa359	update changelog All checks were successful Rust/sat-rs/pipeline/pr-main This commit looks good Details	2024-02-20 14:36:34 +01:00