Apply some PR feedback

2022-08-01 20:23:30 +01:00
parent 59febc16d1
commit 94a053e024
3 changed files with 27 additions and 14 deletions
@@ -126,6 +126,13 @@ class Logger:
        self.step_end(success=False)
        self.error(error)

+    def notice(self, message: str) -> None:
+        if self.fold_mode == "github":
+            print(f"::notice::{message}\n", file=sys.stderr)
+        else:
+            c = self.colors
+            print(f"{c.bold}Note{c.end}: {message}\n", file=sys.stderr)
+
    def warning(self, message: str) -> None:
        if self.fold_mode == "github":
            print(f"::warning::{message}\n", file=sys.stderr)