Skip to content

Flint integration - #788

Open
JunkyDeveloper wants to merge 22 commits into
Steel-Foundation:masterfrom
JunkyDeveloper:flint-integration
Open

JunkyDeveloper wants to merge 22 commits into
Steel-Foundation:masterfrom
JunkyDeveloper:flint-integration

Conversation

@JunkyDeveloper

Copy link
Copy Markdown
Contributor

Type of change

  • New feature
  • Chore / tooling

Description

as in VC discussed, I merge now flint-steel into steel and rename it to steel-flint and give also the option for other test harnesses for other things to be tested.

How this was tested

The .env and flint.toml need to be correct. but docs will follow in this PR

cargo test --package steel-flint test_run_flint_selected -- --ignored

Screenshots / logs

image

Checklist

  • Code builds w/o errors or warnings
  • Self-reviewed the diff
  • Docs updated (if applicable)
  • No leftover debug code / comments

Additional notes

I hope this will help us, to make steel more robust as it already is

JunkyDeveloper and others added 5 commits October 23, 2026 11:26
Co-authored-by: coco875 <59367621+coco875@users.noreply.github.com>
Co-authored-by: Ratainen <123981796+Ratainen@users.noreply.github.com>
Co-authored-by: coco875 <59367621+coco875@users.noreply.github.com>
Co-authored-by: Ratainen <123981796+Ratainen@users.noreply.github.com>
@github-actions github-actions Bot added Chore Enhancement New feature or request labels Oct 24, 2026
@JunkyDeveloper
JunkyDeveloper marked this pull request as ready for review October 25, 2026 16:55
Comment thread .github/workflows/flint.yml Outdated
Comment thread .github/workflows/flint.yml
Comment thread steel-flint/src/lib.rs
@JunkyDeveloper
JunkyDeveloper marked this pull request as ready for review October 26, 2026 16:11

This branch has not been deployed

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants