aboutsummaryrefslogtreecommitdiffstats
path: root/dune-project
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-07-21 02:31:10 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-07-21 02:31:10 -0300
commit357a0c4ec609ccfd86764ac41480bcb7b1194986 (patch)
treef8e79c21c50d4bebed52df35ebc29db81a370713 /dune-project
parent2db3f860440d4944e0cbbdeb221dd6fea58a1908 (diff)
downloadRNT-357a0c4ec609ccfd86764ac41480bcb7b1194986.tar.gz
RNT-357a0c4ec609ccfd86764ac41480bcb7b1194986.zip
fix workflow
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions