Closed bh2smith closed 1 year ago
Github was warning of CI deprecation on actions. This should fix that.
Before(4 warnings): https://github.com/bh2smith/dune-client/actions/runs/6089119775
After(0 warnings): https://github.com/bh2smith/dune-client/actions/runs/6089219103
Github was warning of CI deprecation on actions. This should fix that.
Before(4 warnings): https://github.com/bh2smith/dune-client/actions/runs/6089119775
After(0 warnings): https://github.com/bh2smith/dune-client/actions/runs/6089219103