Git-Mirrors/qubes-mirage-firewall
1
0
Fork 0
mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2024-10-01 01:05:39 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #145 from hannesm/cleanup

Browse Source 
remove no longer needed _tags file and travis
This commit is contained in:
Hannes Mehnert 2022-09-07 16:59:45 +02:00 committed by GitHub
commit 2af63f1f45
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.travis.yml
View File

@ -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

2
_tags
View File

@ -1,2 +0,0 @@
not <main.*>: warn(A-4), strict_sequence
<qubes_protocol.*>: package(cstruct.syntax)