Labels Milestones New Pull Request

0 Open 20 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

Milestone

All milestones No milestones

Project

All projects No project

Author

All users

Assignee

Assigned to nobody Assigned to anybody

patrick

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

Label

0 Open 20 Closed

Label

Clear labels

Milestone

No milestone

Projects

Clear projects

Assignee

Clear assignees

No assignee

patrick

Bump ApiSurface

#20 by patrick was merged 2025-09-08 21:29:00 +00:00

main

bump-deps

Relax JSON schema and update deps

#19 by patrick was merged 2024-12-24 19:27:16 +00:00

main

relax-schema

Upgrade to net9

#18 by patrick was merged 2024-11-28 22:19:55 +00:00

main

net9

Bump nixpkgs

#17 by patrick was merged 2024-10-26 08:37:05 +00:00

main

bump-again

Bump nixpkgs

#16 by patrick was merged 2024-09-07 15:03:29 +00:00

main

bump-nixpkgs-2

1

Bump nixpkgs

#15 by patrick was merged 2024-07-24 18:08:18 +00:00

main

bump-nixpkgs

Add reproducibility check

#14 by patrick was merged 2024-07-12 10:12:29 +00:00

main

reproducibility-check

Fix pipeline

#13 by patrick was merged 2024-05-31 23:10:25 +00:00

main

fix-pipeline

Simplify flake

#12 by patrick was merged 2024-05-31 23:49:35 +00:00

main

simplify-flake

Add all-gyms

#11 by patrick was merged 2024-02-12 22:08:03 +00:00

main

all-gyms

Make reopen date optional

#10 by patrick was merged 2024-02-02 16:19:57 +00:00

main

optional-reopen

Use WoofWare.Myriad entirely to generate the REST API

#9 by patrick was merged 2024-01-30 00:17:46 +00:00

main

woofware-api

Direnv support

#8 by patrick was merged 2024-01-28 23:35:55 +00:00

main

add-direnv

Bump WoofWare.Myriad

#7 by patrick was merged 2023-12-30 11:59:42 +00:00

main

bump-packaging

Upgrade WoofWare.Myriad to 1.1.10

#6 by patrick was merged 2023-12-29 23:36:04 +00:00

main

upgrade-gen

Bump source gen

#5 by patrick was merged 2023-12-29 12:24:53 +00:00

main

upgrade-gen

Start generating parse methods

#4 by patrick was merged 2023-12-28 21:08:09 +00:00

main

visits

Add visits info

#3 by patrick was merged 2023-11-01 16:49:57 +00:00

main

visits

Deal with total people suffix

#2 by patrick was merged 2023-10-21 00:39:55 +00:00

main

deal-with-suffix

Better semantics for MemberActivity

#1 by patrick was merged 2023-10-14 17:08:18 +00:00

main

better-doc-for-activity