Skip to content

Update GitHub actions#229

Open
fingolfin wants to merge 1 commit intoJuliaDatabases:mainfrom
fingolfin:mh/gh-actions
Open

Update GitHub actions#229
fingolfin wants to merge 1 commit intoJuliaDatabases:mainfrom
fingolfin:mh/gh-actions

Commits

Commits on Aug 24, 2025