This repository has been archived by the owner on Oct 12, 2022. It is now read-only.

Vagrant boxes #905

Merged

r-darwish merged 2 commits into master from vagrant

Apr 23, 2022

Owner

r-darwish commented Apr 23, 2022

Standards checklist:

The PR title is descriptive.
The code compiles (cargo build)
The code passes rustfmt (cargo fmt)
The code passes clippy (cargo clippy)
The code passes tests (cargo test)
Optional: I have tested the code myself
- I also tested that Topgrade skips the step where needed

If you developed a feature or a bug fix for someone else and you do not have the
means to test it, please tag this person here.


          Vagrant boxes

44b2331

r-darwish enabled auto-merge (squash)

April 23, 2022 11:56


          Merge branch 'master' into vagrant

b35cccc

r-darwish merged commit 1480932 into master

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet