revert previous and add sourcehut tag

robsimmons · Nov 19, 2023 · 50e050f · 50e050f
1 parent 24ef166
commit 50e050f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.builds/check.yml b/.builds/check.yml
@@ -5,7 +5,6 @@ sources:
  - https://git.sr.ht/~robsimmons/dusa
 tasks:
  - setup: |
-     false
      # From https://github.com/nodesource/distributions
      sudo apt-get update
      sudo apt-get install -y ca-certificates curl gnupg

diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # Dusa Language
 
+[![Build status](https://builds.sr.ht/~robsimmons/dusa.svg)](https://builds.sr.ht/~robsimmons/dusa?)
+
 [![Coverage Status](https://coveralls.io/repos/github/robsimmons/dusa/badge.svg?branch=main)](https://coveralls.io/github/robsimmons/dusa?branch=main)
 
 Dusa is a logic programming language that shares properties of Datalog (as implemented in systems like