From 76a8d96a7350c734da9b7e17d5ac88d14fbbc5e1 Mon Sep 17 00:00:00 2001 From: Markus Mayer Date: Mon, 24 Apr 2023 22:53:19 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7394ca3..ef24ed3 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# PDDL parser (work in progress) +# A PDDL 3.1 parser, strongly typed ![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/sunsided/pddl-rs/rust.yml) ![docs.rs](https://img.shields.io/docsrs/pddl)