chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeSun, 10 May 2026 22:54:32 +0000 (22:54 +0000)
shortlog
5 days ago Ian JacksonMerge branch 'release' into 'main' main debian/1.3.3
5 days ago Ian JacksonRelease 1.3.3
5 days ago Ian JacksonMerge branch 'clippy' into 'main'
5 days ago Ian JacksonMerge branch 'no-verbose-ci' into 'main'
5 days ago Ian JacksonAdd clippy job using today's stable
5 days ago Ian JacksonSuppress a lint for let _: Future = ...
5 days ago Ian JacksonSuppress a lint for .get().is_some()
5 days ago Ian Jacksonclippy: consistently allow complexity, rather than...
5 days ago Ian JacksonCI: Remove --verbose from cargo invocations
5 days ago Ian JacksonMerge branch 'msrv' into 'main'
5 days ago Ian JacksonBump MSRV to 1.85
5 days ago Ian JacksonMerge branch 'ci-image' into 'main'
5 days ago Ian JacksonCI: Update most of the bookworm-using jobs
5 days ago Ian JacksonCI: Remove duplicate image: definition
5 days ago Ian JacksonMerge branch 'no-macro' into 'main'
5 days ago Ian JacksonNo longer depend on hippotat-macros
...
tags
5 days ago debian/1.3.3 hippotat release 1.3.3 for unstable
7 weeks ago debian/1.3.2 hippotat release 1.3.2 for unstable
2 months ago debian/1.3.1 hippotat release 1.3.1 for unstable
3 years ago hippotat/1.0.0 hippotat/1.0.0
heads
5 days ago main