Skip to content
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.

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

Log no-lint-disabled CI #353

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Log no-lint-disabled CI #353

wants to merge 4 commits into from

Conversation

JCZuurmond
Copy link
Member

@JCZuurmond JCZuurmond commented Nov 19, 2024

CI failed and we do not know why

Copy link

github-actions bot commented Nov 19, 2024

✅ 36/36 passed, 4 skipped, 5m0s total

Running from acceptance #468

@JCZuurmond JCZuurmond force-pushed the fix/no-lint-disabled-ci branch from 464b4a6 to 209fd98 Compare November 19, 2024 14:04
@JCZuurmond JCZuurmond changed the title Add set -ex to no-lint-disabled Circumvent no-lint-disabled CI Nov 19, 2024
@JCZuurmond JCZuurmond force-pushed the fix/no-lint-disabled-ci branch from 209fd98 to 844614d Compare November 19, 2024 14:08
@JCZuurmond JCZuurmond changed the title Circumvent no-lint-disabled CI Log no-lint-disabled CI Nov 19, 2024
@JCZuurmond JCZuurmond self-assigned this Nov 19, 2024
Copy link
Contributor

@asnare asnare left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks fine, although some style nits.

.github/workflows/push.yml Outdated Show resolved Hide resolved
.github/workflows/push.yml Outdated Show resolved Hide resolved
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants