Add Zenodo DOI badge

ps-tuebingen · Jul 14, 2023 · 5f1c7f5 · 5f1c7f5
1 parent 710929a
commit 5f1c7f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Artifact for the OOPSLA 2023 paper 'From Capabilities to Regions'
 
-[![DOI](https://zenodo.org/badge/???.svg)](https://zenodo.org/badge/latestdoi/???)
+[![DOI](https://zenodo.org/badge/663134126.svg)](https://zenodo.org/badge/latestdoi/663134126)
 
 This GitHub repository constitutes the artifact for our paper