Skip to content

Add GitHub Actions workflow#48

Open
veprbl wants to merge 2 commits into
mainfrom
pr/ci
Open

Add GitHub Actions workflow#48
veprbl wants to merge 2 commits into
mainfrom
pr/ci

Conversation

@veprbl
Copy link
Copy Markdown
Contributor

@veprbl veprbl commented May 11, 2026

No description provided.

@veprbl veprbl requested review from wenaus and zhaoyuyoung May 12, 2026 18:25
@zhaoyuyoung
Copy link
Copy Markdown
Member

I forked this repo and checked out your branch pr/ci. I made a pull request to trigger this workflow action. It runs "testbed run" successfully in the docker container.

Merge approved. Please merge it at your convenience.

I had a trivial comment.

@veprbl
Copy link
Copy Markdown
Contributor Author

veprbl commented May 13, 2026

Thank you for testing. What was the trivial comment?

@zhaoyuyoung
Copy link
Copy Markdown
Member

Can you see it under line 91 in integration-test.yml? (I can see it here).

@veprbl
Copy link
Copy Markdown
Contributor Author

veprbl commented May 13, 2026

Can you see it under line 91 in integration-test.yml? (I can see it here).

Can't see on PR or on commits of either repositories. Can you link?

Comment thread .github/workflows/integration-test.yml Outdated
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