Skip to content

[CI] Switch to reusable soundness#2913

Merged
FranzBusch merged 1 commit into
mainfrom
fb-gha-move-soundness
Oct 11, 2024
Merged

[CI] Switch to reusable soundness#2913
FranzBusch merged 1 commit into
mainfrom
fb-gha-move-soundness

Conversation

@FranzBusch
Copy link
Copy Markdown
Member

Motivation

Switch to the reusable workflows from the swiftlang organization for soundness.

Modification

This PR moves over to the new reusable soundness workflow. Additionally, it also deletes all files in this repo for the soundness checks since they are no longer needed.

@FranzBusch FranzBusch added the semver/none No version bump required. label Oct 10, 2024
@FranzBusch FranzBusch force-pushed the fb-gha-move-soundness branch 2 times, most recently from 2232231 to 33edf40 Compare October 10, 2024 11:17
@FranzBusch FranzBusch enabled auto-merge (squash) October 10, 2024 11:40
# Motivation

Switch to the reusable workflows from the swiftlang organization for soundness.

# Modification

This PR moves over to the new reusable soundness workflow. Additionally, it also deletes all files in this repo for the soundness checks since they are no longer needed.
@FranzBusch FranzBusch force-pushed the fb-gha-move-soundness branch from 60a7687 to 84ffb53 Compare October 11, 2024 10:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

semver/none No version bump required.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants