Skip to content

Remove unused safety package#854

Merged
frenck merged 1 commit intomainfrom
frenck-2024-0636
Dec 13, 2024
Merged

Remove unused safety package#854
frenck merged 1 commit intomainfrom
frenck-2024-0636

Conversation

@frenck
Copy link
Owner

@frenck frenck commented Dec 13, 2024

Proposed Changes

Removes the safety package, it is unused; we have GitHub tooling for this stuff now.

@frenck frenck added the maintenance Generic maintenance tasks. label Dec 13, 2024
@sonarqubecloud
Copy link

@frenck frenck merged commit 2d0dd7d into main Dec 13, 2024
@github-actions github-actions bot locked and limited conversation to collaborators Dec 15, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

maintenance Generic maintenance tasks.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant