Nick Groenen
c27d7b96b6
Optimize GitHub Actions workflows
...
Most notably:
- Stop using unmaintained setup-rust action
- Cache cargo and target directories
- Use sccache (https://github.com/mozilla/sccache/ )
2023-09-24 12:15:18 +02:00
dependabot[bot]
b67aef7cdc
Bump actions/checkout from 3 to 4 ( #177 )
2023-09-23 07:38:42 +00:00
Nick Groenen
cb6abedcad
Fix code coverage CI failures
2023-09-22 11:20:32 +02:00
dependabot[bot]
0659924635
Bump actions/checkout from 2 to 3
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 2 to 3.
- [Release notes](https://github.com/actions/checkout/releases )
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md )
- [Commits](https://github.com/actions/checkout/compare/v2...v3 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-11-05 15:41:22 +01:00
dependabot[bot]
7a3f278e4b
Bump actions/upload-artifact from 2 to 3
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 2 to 3.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v2...v3 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-11-05 15:41:06 +01:00
Nick Groenen
67cd5ac738
Give release binaries file extensions
...
This may make it more clear to users that these are precompiled, binary
files. This is especially relevant on Windows, where the convention is
that executable files have a .exe` extension, as seen in #49 .
2022-01-02 12:08:50 +01:00
Nick Groenen
ecf55d25db
Avoid redundant "Release" in GitHub release titles
2021-02-15 21:26:10 +01:00
Nick Groenen
2fa34fb5db
Also run tests on pull requests
2021-02-14 20:48:52 +01:00
Nick Groenen
c2de776148
Public release
2020-12-07 22:35:57 +01:00
