From 699088bbde169a777eec7d5c0694c23873882278 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 7 Sep 2022 16:29:57 +0200 Subject: [PATCH 1/2] remove no longer needed _tags file --- _tags | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 _tags diff --git a/_tags b/_tags deleted file mode 100644 index 7441bd2..0000000 --- a/_tags +++ /dev/null @@ -1,2 +0,0 @@ -not : warn(A-4), strict_sequence -: package(cstruct.syntax) From 147fe18e7493e6cb5e9bb2ebad5540dbe2d7ccb4 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 7 Sep 2022 16:33:34 +0200 Subject: [PATCH 2/2] travis is no longer online --- .travis.yml | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 .travis.yml diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 77b3499..0000000 --- a/.travis.yml +++ /dev/null @@ -1,10 +0,0 @@ -language: c -script: - - echo 'ADD . /home/opam/qubes-mirage-firewall' >> Dockerfile - - echo 'RUN sudo chown -R opam /home/opam/qubes-mirage-firewall' >> Dockerfile - - docker build -t qubes-mirage-firewall . - - docker run --name build -i qubes-mirage-firewall - - docker cp build:/home/opam/qubes-mirage-firewall/qubes_firewall.xen . - - sha256sum qubes_firewall.xen -sudo: required -dist: trusty