From 50e050f18878ea773f63269c04a34adf601f802c Mon Sep 17 00:00:00 2001 From: Rob Simmons Date: Sun, 19 Nov 2023 10:34:12 -0500 Subject: [PATCH] revert previous and add sourcehut tag --- .builds/check.yml | 1 - README.md | 2 ++ 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.builds/check.yml b/.builds/check.yml index 5c265c8..95dd291 100644 --- 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 index 09aea5e..4602f87 100644 --- 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