Enable on all branches

GaloisInc · Jun 11, 2024 · cce6952 · cce6952
1 parent f24f6cc
commit cce6952
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -1,8 +1,7 @@
-name: Build docker images
+name: Docker Image CI
 
 on:
   push:
-    branches: [ "master" ]
 
 jobs:
 

diff --git a/.gitmodules b/.gitmodules
@@ -22,4 +22,4 @@
 	url = https://git.kernel.org/pub/scm/libs/libgpiod/libgpiod.git
 [submodule "src/cerberus"]
 	path = src/cerberus
-	url = git@github.com:rems-project/cerberus.git
+	url = https://github.com/rems-project/cerberus.git