summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorAlexandre Flament <alexandre.flament@hesge.ch>2024-03-01 08:37:40 +0100
committerAlexandre Flament <alex@al-f.net>2024-03-03 11:18:43 +0100
commitb56449d3fa8604a5ea449afa2ca957b3c633fb19 (patch)
treed4fa9b47aba58b8e260cdd4424c705c72d38cd04 /.github/workflows
parent38fdd2288a8c5ffbd94c6068bc4ef6ec9a3df415 (diff)
Fix make search.checker
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions