Skip to content

Add soundness workflows#701

Merged
rauhul merged 2 commits into
mainfrom
soundness
Feb 7, 2025
Merged

Add soundness workflows#701
rauhul merged 2 commits into
mainfrom
soundness

Conversation

@rauhul

@rauhul rauhul commented Feb 6, 2025

Copy link
Copy Markdown
Collaborator

Adds CI to check for valid formatting and a variety of other checks.

@rauhul

rauhul commented Feb 6, 2025

Copy link
Copy Markdown
Collaborator Author

@swift-ci test

Comment thread .github/workflows/lint.yml Outdated
Comment on lines +20 to +23
- name: Compare against swift-mmio swift-format config
run: |
curl -sL https://raw.githubusercontent.com/apple/swift-mmio/refs/heads/main/.swift-format -o .swift-format-mmio
diff .swift-format .swift-format-mmio

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Why are we comparing with swift-mmio repo?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

dropped this for now

Comment thread .github/workflows/lint.yml Outdated
push:
branches: ["main"]
pull_request:
branches: ["main"]

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

We should also add

types: [opened, reopened, synchronize]

Recommend checking out https://github.com/apple/swift-collections/pull/426/files

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

switched to match collections

Adds CI to check for valid formatting and a variety of other checks.
@rauhul

rauhul commented Feb 7, 2025

Copy link
Copy Markdown
Collaborator Author

@swift-ci test

@rauhul rauhul enabled auto-merge (squash) February 7, 2025 19:23
@rauhul rauhul merged commit 33acc79 into main Feb 7, 2025
@rauhul rauhul deleted the soundness branch February 7, 2025 19:24
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