setup-agda icon indicating copy to clipboard operation
setup-agda copied to clipboard
verified publisher icon wenkokke

bump all js dependencies to latest; target node20 instead of 16

Open andreasabel opened this issue 4 months ago • 0 comments

This might just have been a wild goose chase... Seems first #229 should be finished.

  • #229

andreasabel avatar Sep 10 '25 18:09 andreasabel