Skip to content

Bring the GitHub Actions up to date, and let Dependabot keep them there - #248

Merged
michakraus merged 3 commits into
mainfrom
update-github-actions
Aug 23, 2026
Merged

Bring the GitHub Actions up to date, and let Dependabot keep them there#248
michakraus merged 3 commits into
mainfrom
update-github-actions

Use JULIA_PKG_SERVER="" for the registry, as SymbolicNeuralNetworks does

b146301
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar