From 8711bca9db49546d265fc119b5dcf3eb2db22095 Mon Sep 17 00:00:00 2001 From: MohamedBassem Date: Tue, 20 Feb 2024 21:23:28 +0000 Subject: docker: Add a docker-based dev environment --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) (limited to '.github/workflows/main.yml') diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 44c238f4..28bb13fb 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -3,6 +3,7 @@ on: push: branches: - main + pull_request: jobs: build-lint: name: Build and Lint -- cgit v1.2.3-70-g09d2