Permalink
Comparing changes
Choose two branches to see what’s changed or to start a new pull request.
If you need to, you can also or
learn more about diff comparisons.
Open a pull request
Create a new pull request by comparing changes across two branches. If you need to, you can also .
Learn more about diff comparisons here.
...
- 9 commits
- 5 files changed
- 5 contributors
Commits on May 19, 2023
-
workflows: add make-lint (#20)
This is a variant of the old `make` driven linting workflow, for rollout purposes. Signed-off-by: William Woodruff <[email protected]>
-
markdownlint: more reasonable line lengths
Signed-off-by: William Woodruff <[email protected]>
Commits on Jun 29, 2023
-
Timeout lint jobs after 60 minutes (#21)
* timeout lint jobs after 15 minutes * 60 mins
Commits on Aug 5, 2024
Commits on Aug 27, 2024
Commits on Feb 19, 2025
-
-
-
Merge pull request #28 from trailofbits/kaoudis/bump-trunk-version-fo…
…r-checkout bumps trunk so it will use upload-artifact v4
Commits on Aug 7, 2025
Loading
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff v0.1.2...main