You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: .github/copilot-instructions.md
+11-11Lines changed: 11 additions & 11 deletions
Original file line number
Diff line number
Diff line change
@@ -1,4 +1,4 @@
1
-
This repository contains hyperlight. Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications.
1
+
This repository contains hyperlight. Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications.
2
2
It enables safe execution of untrusted code within micro virtual machines with very low latency and minimal overhead.
3
3
4
4
This project uses just as a runner for building, testing etc. Just should already be installed. Most of the code in the repository is written in Rust, with a few files in C.
@@ -20,7 +20,7 @@ just clippy release
20
20
If any lints fail you can try to fix them by running the following command for debug failures:
21
21
22
22
```bash
23
-
cargo clippy --fix --all
23
+
cargo clippy --fix --all
24
24
```
25
25
And the following command for release failures:
26
26
@@ -36,15 +36,15 @@ If this does not work, you should try and fix the errors and then run the comman
36
36
-`just build` - builds the project in debug mode
37
37
-`just build release` - builds the project in release mode
38
38
-`just guests` - builds the guest library and test guests for both debug and release modes
39
-
- test
39
+
- test
40
40
-`just test` - runs all tests in debug mode
41
41
-`just test release` - runs all tests in release mode
42
42
43
-
**IMPORTANT** You will need to run `just guests` to build the guest library before running the tests.
43
+
**IMPORTANT** You will need to run `just guests` to build the guest library before running the tests.
44
44
45
-
Before pushing your code, make sure to run the following commands to ensure that everything is working correctly make sure all tests pass by running
45
+
Before pushing your code, make sure to run the following commands to ensure that everything is working correctly make sure all tests pass by running
46
46
```bash
47
-
just test-like-ci
47
+
just test-like-ci
48
48
just test-like-ci release
49
49
```
50
50
@@ -57,11 +57,11 @@ Maintain the structure and organization of the codebase. Do not introduce new cr
57
57
Make sure to write tests for any new code you add. Follow the existing testing patterns in the codebase.
58
58
Make sure to fully document any new code you add. Use rustdoc comments and follow guidelines for good documentation.
59
59
Make sure that any changes which alter anything documented in the README or the documentation in the docs directory are reflected in the documentation.
60
-
Make sure that you label the PRs that you create with the correct labels. You can find details about which labels to use in the documents `docs\github-labels,md`
60
+
Make sure that you label the PRs that you create with the correct labels. You can find details about which labels to use in the documents `docs/github-labels.md`.
61
61
Make sure that you do not include any large binary files in your PR. If you need to include a large binary file, please discuss it with the team first.
62
62
Make sure that you keep commits small and focused. Each commit should represent a single change or addition to the codebase. This will make it easier for reviewers to understand your changes and for you to revert them if necessary.
63
-
Make sure that you arrange your commits in a logical order. You can use `git rebase -i` to do this.
64
-
If you update your PR branch with new commits, make sure to rebase your branch on top of the main branch. This will help keep the commit history clean and make it easier to review your changes
63
+
Make sure that you arrange your commits in a logical order. You can use `git rebase -i` to do this.
64
+
If you update your PR branch with new commits, make sure to rebase your branch on top of the main branch. This will help keep the commit history clean and make it easier to review your changes.
65
65
Make sure that you do not have any merge commits in your PR.
66
66
67
67
## Repository Structure
@@ -71,9 +71,9 @@ Make sure that you do not have any merge commits in your PR.
71
71
-`Justfile` - contains the just commands for building, testing and running the project
72
72
-`fuzz` - contains the fuzzing tests for the project
73
73
-`src/hyperlight_common/` - contains the common code shared between the host and guest
74
-
-`src/hyperlight_guest/` - contains the hyperlight-guest library code
74
+
-`src/hyperlight_guest/` - contains the hyperlight-guest library code
75
75
-`src/hyperlight_host/` - contains the hyperlight-host library code
76
-
-`src/hyperlight_guest_capi/` - contains the hyperlight-guest C library code
76
+
-`src/hyperlight_guest_capi/` - contains the hyperlight-guest C library code
77
77
-`src/hyperlight_testing/` - contains the shared code for tests
78
78
-`schema/` - contains the flatbuffer schemas for the project
79
79
-`tests/` - contains the test guest code for the project in C and Rust
0 commit comments