Skip to content

Expand ci#2

Merged
pfg666 merged 9 commits into
developmentfrom
expand-ci
May 1, 2026
Merged

Expand ci#2
pfg666 merged 9 commits into
developmentfrom
expand-ci

Conversation

@pfg666
Copy link
Copy Markdown
Member

@pfg666 pfg666 commented May 1, 2026 •
edited
Loading

  • add CI which tests learning of Linux using basic alphabet
  • simplify launching of SUT (now launched in learner component), adjusted learner args to reduce non-determinism
  • fix bugs in install scripts, add checks for error

@pfg666 pfg666 merged commit 24dcf8e into development May 1, 2026
4 checks passed
@pfg666 pfg666 deleted the expand-ci branch May 1, 2026 15:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@pfg666