Skip to content

ci(lab3): add PR-gate#4

Closed
Littlepr1nce wants to merge 7 commits into
mainfrom
feature/lab3
Closed

ci(lab3): add PR-gate#4
Littlepr1nce wants to merge 7 commits into
mainfrom
feature/lab3

Conversation

@Littlepr1nce

Copy link
Copy Markdown
Owner

Goal

Add CI PR gate for Lab3.

Changes

  • Added GitHub Actions workflow
  • Added vet, test and lint jobs

Testing

Will be verified via GitHub Actions.

Checklist

  • Title is a clear sentence (≤ 70 chars)
  • Commits are signed (git log --show-signature)
  • submissions/labN.md updated

Signed-off-by: T. R. Shekhmametyev <ssssasaskfrjd@gmail.com>
Signed-off-by: T. R. Shekhmametyev <ssssasaskfrjd@gmail.com>
Signed-off-by: T. R. Shekhmametyev <ssssasaskfrjd@gmail.com>
Signed-off-by: T. R. Shekhmametyev <ssssasaskfrjd@gmail.com>
Signed-off-by: T. R. Shekhmametyev <ssssasaskfrjd@gmail.com>
Signed-off-by: T. R. Shekhmametyev <ssssasaskfrjd@gmail.com>
Signed-off-by: T. R. Shekhmametyev <ssssasaskfrjd@gmail.com>
@Littlepr1nce Littlepr1nce deleted the feature/lab3 branch June 15, 2026 04:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant