fix badge (#155)

affeldt-aist · Mar 9, 2025 · a54e27e · a54e27e
1 parent f012d61
commit a54e27e
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -6,10 +6,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 
 [![Docker CI][docker-action-shield]][docker-action-link]
 
-[docker-action-shield]: https://github.com/affeldt-aist/monae/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/affeldt-aist/monae/actions?query=workflow:"Docker%20CI"
-
-
+[docker-action-shield]: https://github.com/affeldt-aist/monae/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/affeldt-aist/monae/actions?query=branch%3Amaster+event%3Apush
 
 
 This Coq library contains a hierarchy of monads with their laws used