diff options
author | EuAndreh <eu@euandre.org> | 2021-03-23 10:46:52 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-03-23 10:46:52 -0300 |
commit | 6524f163827aaf53a8ab0d2c360c51648c800163 (patch) | |
tree | 9482452cd0a196d071f457a6754549257870ebd5 /aux/workflow/public.sh | |
parent | aux/ci/ci-build.sh: Run build target before tests, so we have HTML files when... (diff) | |
download | package-repository-6524f163827aaf53a8ab0d2c360c51648c800163.tar.gz package-repository-6524f163827aaf53a8ab0d2c360c51648c800163.tar.xz |
aux/workflow/public.sh: Mark as executable
Diffstat (limited to '')
-rwxr-xr-x[-rw-r--r--] | aux/workflow/public.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/aux/workflow/public.sh b/aux/workflow/public.sh index 4c90225..4c90225 100644..100755 --- a/aux/workflow/public.sh +++ b/aux/workflow/public.sh |