Commit c06b270

committed

regen action

1 parent 6d792e9 commit c06b270Copy full SHA for c06b270

1 file changed

+174

-81

lines changed

.github/workflows
- nix-action-coq-8.18.yml

1 file changed

+174

-81

lines changed

Comments

(0)