Skip to content

Add CI#7

Merged
srid merged 1 commit intomasterfrom
ci
Apr 19, 2025
Merged

Add CI#7
srid merged 1 commit intomasterfrom
ci

Conversation

@srid
Copy link
Owner

@srid srid commented Apr 19, 2025

No description provided.

@srid srid requested a review from Copilot April 19, 2025 05:53
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This pull request adds a new GitHub Actions CI workflow to automate the build and testing process.

  • Added a workflow file that runs on pushes to the master branch and on pull requests
  • Configured build jobs on both ubuntu-latest and macos-latest with steps for checking out code, installing dependencies via nix, building outputs, and verifying the GHC version

@srid srid merged commit 1758059 into master Apr 19, 2025
2 checks passed
@srid srid deleted the ci branch April 19, 2025 06:03
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