New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI: Setup rust in new action; split style & report actions #10

Closed

infogulch wants to merge 1 commit into master from split-actions

+93 −49

Owner

infogulch commented Nov 7, 2023 •

edited

Loading

New action to setup rust, called from existing jobs to reduce duplication
Only allow the wasm test job to fail, not all of them
Split style checks from test reporting
- Will use the report job to run benchmarks in future PR
Add step to clean cache of scryer-prolog artifacts, but retain dependencies cache. Reduce actions cache size without impacting build times for the typical case.

infogulch force-pushed the split-actions branch 2 times, most recently from 3e5f3ee to f747e1a Compare

November 7, 2023 19:49


          CI: Setup rust in new action; split style & report actions

3da5d44

infogulch force-pushed the split-actions branch 2 times, most recently from 3427acd to 3da5d44 Compare

November 8, 2023 19:12

infogulch closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet