Skip to content

Activity

Showing most recent first

Merge pull request #742 from dchacke/patch-1

Pull request merge
robin850pushed 2 commits to master • ffd2579…170e876 • 
on Jun 1, 2024

Update the CI badge now that we are using Actions

robin850pushed 1 commit to master • 71ed87f…ffd2579 • 
on Jun 1, 2024

Merge pull request #785 from casperisfine/typed-data

Pull request merge
robin850pushed 2 commits to master • 14d3c28…71ed87f • 
on Jun 1, 2024

Deleted branch

robin850deleted setup-gh-actions • 
on May 31, 2024

Move CI to GitHub Actions

robin850pushed 1 commit to master • 3e3f0b5…14d3c28 • 
on May 31, 2024

CI on GitHub Actions

Force push
robin850force pushed to setup-gh-actions • c937172…ad656aa • 
on May 31, 2024

CI on GitHub Actions

robin850created setup-gh-actions • c937172 • 
on May 31, 2024