diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-12 13:30:56 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-12 13:30:56 +0200 |
commit | 5554c9c698733120d1ea21b5bf50230cefcb7294 (patch) | |
tree | 4bc3337fd8a5686e79a19774e1b89b817499900b /src/scm/webid-oidc/resource-server.scm | |
parent | 5eae6db86b483413af605dc1fa8ff6fb1daa1dbb (diff) |
CI: don’t run it except on master
Diffstat (limited to 'src/scm/webid-oidc/resource-server.scm')
0 files changed, 0 insertions, 0 deletions