summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorNuno Silva <nuno.m.ribeiro.silva@tecnico.ulisboa.pt>2021-04-15 21:29:19 +0100
committerNuno Silva <nuno.m.ribeiro.silva@tecnico.ulisboa.pt>2021-04-15 21:29:19 +0100
commit2d13d012031ba82f3c8b0f9e4f1e950338522567 (patch)
tree7d06a572769598f555296c2313cf4df5a6f67acb /.github/workflows
parent7ea3eec17924a814ec3109958ba9d2db50e87ffd (diff)
minor fixes
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions