Skip to content

test: check build output#55

Merged
droguljic merged 1 commit intomasterfrom
test/check-build-output
May 8, 2025
Merged

test: check build output#55
droguljic merged 1 commit intomasterfrom
test/check-build-output

Conversation

@droguljic
Copy link
Contributor

Add script to test the build by running a type testing tool against it.

@droguljic droguljic requested a review from MiroDojkic May 7, 2025 16:26
@droguljic
Copy link
Contributor Author

I gave a little more thinking how to test the build, promoted by the conversation in the PR #54.
In the end decided not to only tests if the build passes but also validate its output by running the type checker against it.
This should give us more confidence that build is valid, and the contract is in place is respected.

Add script to test the build by running a type testing tool against it.
@droguljic droguljic force-pushed the test/check-build-output branch from 344b379 to 45a158b Compare May 8, 2025 12:02
@droguljic droguljic merged commit 147d8c4 into master May 8, 2025
2 checks passed
@droguljic droguljic deleted the test/check-build-output branch May 8, 2025 12: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.

2 participants