feature(gha): add github action

[billf]

No description provided.

[billf]

• Add VersionMap utility methods and improve implementation #5
• Improve VersionMap documentation and add comprehensive tests #3
• Make semver module public and add documentation #2
• chore(fmt): cargo fmt #1
• feature(gha): add github action #4 👈 (View in Graphite)
• dplecki/dev

This stack of pull requests is managed by Graphite. Learn more about stacking.

[Copilot]

Pull Request Overview

This PR introduces a new GitHub Actions workflow to run development environment tests.

• Adds a push workflow file (.github/workflows/push.yaml) that reacts to pull_request events using concurrency controls.
• Introduces a reusable workflow file (.github/workflows/devenv.yaml) that sets up the testing environment with actions such as checkout, nix installer, sccache, cargo caching, and then runs the specified devenv target.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File	Description
.github/workflows/push.yaml	Defines a workflow triggering on pull_request events and invoking devenv-test job.
.github/workflows/devenv.yaml	Implements the workflow for setting up and running development environment tests.

Comments suppressed due to low confidence (1)

.github/workflows/push.yaml:1

• The workflow name implies it handles both pushes and pull requests, but it only triggers on pull_request events. Consider updating the name to accurately reflect its behavior or adding a push event trigger if intended.

name: pushes and pull requests