From 4fc1bff3e0fb82df18704a22be3619392fb27135 Mon Sep 17 00:00:00 2001 From: Andy Fingerhut Date: Mon, 24 Jun 2024 13:21:26 -0400 Subject: [PATCH 1/4] Add back in heading for P4Smith README file This makes the auto-generated doxygen index easier to distinguish this files from others, instead of merely being called "README" there. Signed-off-by: Andy Fingerhut --- backends/p4tools/modules/smith/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/backends/p4tools/modules/smith/README.md b/backends/p4tools/modules/smith/README.md index 72b62ee48b..8c3d959a36 100644 --- a/backends/p4tools/modules/smith/README.md +++ b/backends/p4tools/modules/smith/README.md @@ -1,3 +1,5 @@ +# P4Smith + [![Status](https://github.com/p4lang/p4c/actions/workflows/ci-p4tools.yml/badge.svg)](https://github.com/p4lang/p4c/actions/workflows/ci-p4tools.yml) # P4Smith From 7b02c1dd7baf1170ca9200c3b79a33705bf73219 Mon Sep 17 00:00:00 2001 From: Andy Fingerhut Date: Mon, 24 Jun 2024 16:39:40 -0400 Subject: [PATCH 2/4] Trying out a thing where the P4 logo is put before the CI badge Maybe not as nice of a visual look as what was there before, but seems worth looking at to see if it is desirable. Signed-off-by: Andy Fingerhut --- backends/p4tools/modules/smith/README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/backends/p4tools/modules/smith/README.md b/backends/p4tools/modules/smith/README.md index 8c3d959a36..8f82dfa49a 100644 --- a/backends/p4tools/modules/smith/README.md +++ b/backends/p4tools/modules/smith/README.md @@ -1,9 +1,8 @@ # P4Smith + [![Status](https://github.com/p4lang/p4c/actions/workflows/ci-p4tools.yml/badge.svg)](https://github.com/p4lang/p4c/actions/workflows/ci-p4tools.yml) -# P4Smith - ## Table of Contents - [Installation](#installation) From 8d37a3fc23f89282d69c65c8a7a7064c9b49c690 Mon Sep 17 00:00:00 2001 From: Andy Fingerhut Date: Mon, 24 Jun 2024 16:41:21 -0400 Subject: [PATCH 3/4] Removing logo since previous attempt to keep it messed up the CI badge when viewing Github flavored Markdown on github.com Signed-off-by: Andy Fingerhut --- backends/p4tools/modules/smith/README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/backends/p4tools/modules/smith/README.md b/backends/p4tools/modules/smith/README.md index 8f82dfa49a..9ddc50dd61 100644 --- a/backends/p4tools/modules/smith/README.md +++ b/backends/p4tools/modules/smith/README.md @@ -1,6 +1,5 @@ # P4Smith - [![Status](https://github.com/p4lang/p4c/actions/workflows/ci-p4tools.yml/badge.svg)](https://github.com/p4lang/p4c/actions/workflows/ci-p4tools.yml) ## Table of Contents From 02fefcc989f8d8613fbc4df452561c5915076af4 Mon Sep 17 00:00:00 2001 From: Andy Fingerhut Date: Mon, 24 Jun 2024 22:37:19 -0400 Subject: [PATCH 4/4] Also remove extra heading for P4Testgen Signed-off-by: Andy Fingerhut --- backends/p4tools/modules/testgen/README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/backends/p4tools/modules/testgen/README.md b/backends/p4tools/modules/testgen/README.md index 53671e14ee..d2c7fa30eb 100644 --- a/backends/p4tools/modules/testgen/README.md +++ b/backends/p4tools/modules/testgen/README.md @@ -2,8 +2,6 @@ [![Status](https://github.com/p4lang/p4c/actions/workflows/ci-p4tools.yml/badge.svg)](https://github.com/p4lang/p4c/actions/workflows/ci-p4tools.yml) -# Testgen - ## Table of Contents - [Installation](#installation)