Skip to content

Update to GitHub Actions#115

Merged
StevenMaude merged 5 commits intomasterfrom
github-actions-2025
Dec 12, 2025
Merged

Update to GitHub Actions#115
StevenMaude merged 5 commits intomasterfrom
github-actions-2025

Conversation

@StevenMaude
Copy link
Contributor

No description provided.

@StevenMaude StevenMaude force-pushed the github-actions-2025 branch 2 times, most recently from d0afbe2 to 58e359f Compare December 12, 2025 13:00
@StevenMaude StevenMaude force-pushed the github-actions-2025 branch 2 times, most recently from 5c92933 to 62ff25b Compare December 12, 2025 13:24
Fixes #105.

At some point, the SQLite behaviour must have changed somewhere.

This still checks that there are no unique keys.
@StevenMaude StevenMaude merged commit 77b5648 into master Dec 12, 2025
3 checks passed
@StevenMaude StevenMaude deleted the github-actions-2025 branch December 12, 2025 13:28
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.

1 participant