-
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: hyperpolymath/panic-attack
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump ed25519-dalek from 2.2.0 to 3.0.0
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#159
by dependabot
Bot
was merged Jul 15, 2026
Loading…
chore(deps): bump regex from 1.12.4 to 1.13.0 in the rust-minor group
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#158
by dependabot
Bot
was merged Jul 15, 2026
Loading…
ci: Secret Scanner caller must grant the reusable's job permissions
#157
by hyperpolymath
Owner
was merged Jul 9, 2026
Loading…
fix(ci): scan-and-report — skip verisimdb dispatch when VERISIMDB_PAT is absent
#156
by hyperpolymath
Owner
was merged Jul 7, 2026
Loading…
fix(ci): scan-and-report — dispatch payload via file, not argv
#155
by hyperpolymath
Owner
was merged Jul 6, 2026
Loading…
fix(ci): clear OSSF Scorecard startup_failure
#154
by hyperpolymath
Owner
was merged Jul 6, 2026
Loading…
chore(deps): bump clap_complete from 4.6.5 to 4.6.7 in the rust-minor group
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#153
by dependabot
Bot
was merged Jul 5, 2026
Loading…
aggregate: ingest proven-tests JSON run reports (new input kind)
#152
by hyperpolymath
Owner
was merged Jul 3, 2026
Loading…
fix(ci): re-pin rust-ci-reusable.yml past the toolchain-required-input fix
#151
by hyperpolymath
Owner
was merged Jul 1, 2026
Loading…
fix(clade): correct uuid (deterministic v5)
#150
by hyperpolymath
Owner
was merged Jun 29, 2026
Loading…
docs: record assail precision fixes in CHANGELOG + STATE.a2ml
#149
by hyperpolymath
Owner
was merged Jun 29, 2026
Loading…
chore(deps): bump eframe from 0.34.3 to 0.35.0
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#148
by dependabot
Bot
was merged Jul 2, 2026
Loading…
chore(deps): bump the rust-minor group with 2 updates
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#147
by dependabot
Bot
was merged Jul 2, 2026
Loading…
ci: refresh standards reusable pins to current HEAD (d7c2271)
#146
by hyperpolymath
Owner
was merged Jun 27, 2026
Loading…
chore(ci): add dormant push-email notification workflow
#145
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
chore(clade): backfill [status] lifecycle block
#144
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)
#143
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
chore(ci): bump standards reusable workflow pins
#142
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
chore: extend owner SPDX header to all non-.rs sources (.md/.adoc/.idr/.zig)
#141
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
chore(nix->guix): remove flake.nix (Guix-only)
#140
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
chore: add owner SPDX header to all .rs (satisfy licence-enforcer hook)
#139
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
test(aggregate): ideal Idris2 proof fixture + end-to-end fold test
#138
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
docs: complete audience→axial rename drift in man page + docs
#137
by hyperpolymath
Owner
was merged Jun 24, 2026
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.