cardano-wallet-agda - 20 commits this week

Home / Cardano Foundation / cardano-wallet-agda

Insights Pull Requests

Dec 14, 11-12 PM (0)

Dec 14, 12-1 PM (0)

Dec 14, 1-2 PM (0)

Dec 14, 2-3 PM (0)

Dec 14, 3-4 PM (0)

Dec 14, 4-5 PM (0)

Dec 14, 5-6 PM (0)

Dec 14, 6-7 PM (0)

Dec 14, 7-8 PM (0)

Dec 14, 8-9 PM (0)

Dec 14, 9-10 PM (0)

Dec 14, 10-11 PM (0)

Dec 14, 11-12 AM (0)

Dec 15, 12-1 AM (0)

Dec 15, 1-2 AM (0)

Dec 15, 2-3 AM (0)

Dec 15, 3-4 AM (0)

Dec 15, 4-5 AM (0)

Dec 15, 5-6 AM (0)

Dec 15, 6-7 AM (0)

Dec 15, 7-8 AM (0)

Dec 15, 8-9 AM (0)

Dec 15, 9-10 AM (0)

Dec 15, 10-11 AM (0)

Dec 15, 11-12 PM (0)

Dec 15, 12-1 PM (0)

Dec 15, 1-2 PM (0)

Dec 15, 2-3 PM (0)

Dec 15, 3-4 PM (0)

Dec 15, 4-5 PM (0)

Dec 15, 5-6 PM (0)

Dec 15, 6-7 PM (0)

Dec 15, 7-8 PM (0)

Dec 15, 8-9 PM (0)

Dec 15, 9-10 PM (0)

Dec 15, 10-11 PM (0)

Dec 15, 11-12 AM (0)

Dec 16, 12-1 AM (0)

Dec 16, 1-2 AM (0)

Dec 16, 2-3 AM (0)

Dec 16, 3-4 AM (0)

Dec 16, 4-5 AM (0)

Dec 16, 5-6 AM (0)

Dec 16, 6-7 AM (0)

Dec 16, 7-8 AM (0)

Dec 16, 8-9 AM (0)

Dec 16, 9-10 AM (0)

Dec 16, 10-11 AM (0)

Dec 16, 11-12 PM (0)

Dec 16, 12-1 PM (0)

Dec 16, 1-2 PM (0)

Dec 16, 2-3 PM (0)

Dec 16, 3-4 PM (2)

Dec 16, 4-5 PM (2)

Dec 16, 5-6 PM (2)

Dec 16, 6-7 PM (0)

Dec 16, 7-8 PM (0)

Dec 16, 8-9 PM (0)

Dec 16, 9-10 PM (0)

Dec 16, 10-11 PM (0)

Dec 16, 11-12 AM (0)

Dec 17, 12-1 AM (0)

Dec 17, 1-2 AM (0)

Dec 17, 2-3 AM (0)

Dec 17, 3-4 AM (0)

Dec 17, 4-5 AM (0)

Dec 17, 5-6 AM (0)

Dec 17, 6-7 AM (0)

Dec 17, 7-8 AM (0)

Dec 17, 8-9 AM (0)

Dec 17, 9-10 AM (0)

Dec 17, 10-11 AM (3)

Dec 17, 11-12 PM (2)

Dec 17, 12-1 PM (0)

Dec 17, 1-2 PM (0)

Dec 17, 2-3 PM (0)

Dec 17, 3-4 PM (0)

Dec 17, 4-5 PM (1)

Dec 17, 5-6 PM (0)

Dec 17, 6-7 PM (0)

Dec 17, 7-8 PM (0)

Dec 17, 8-9 PM (0)

Dec 17, 9-10 PM (0)

Dec 17, 10-11 PM (0)

Dec 17, 11-12 AM (0)

Dec 18, 12-1 AM (0)

Dec 18, 1-2 AM (0)

Dec 18, 2-3 AM (0)

Dec 18, 3-4 AM (0)

Dec 18, 4-5 AM (0)

Dec 18, 5-6 AM (0)

Dec 18, 6-7 AM (0)

Dec 18, 7-8 AM (0)

Dec 18, 8-9 AM (0)

Dec 18, 9-10 AM (0)

Dec 18, 10-11 AM (0)

Dec 18, 11-12 PM (0)

Dec 18, 12-1 PM (0)

Dec 18, 1-2 PM (8)

Dec 18, 2-3 PM (0)

Dec 18, 3-4 PM (0)

Dec 18, 4-5 PM (0)

Dec 18, 5-6 PM (0)

Dec 18, 6-7 PM (0)

Dec 18, 7-8 PM (0)

Dec 18, 8-9 PM (0)

Dec 18, 9-10 PM (0)

Dec 18, 10-11 PM (0)

Dec 18, 11-12 AM (0)

Dec 19, 12-1 AM (0)

Dec 19, 1-2 AM (0)

Dec 19, 2-3 AM (0)

Dec 19, 3-4 AM (0)

Dec 19, 4-5 AM (0)

Dec 19, 5-6 AM (0)

Dec 19, 6-7 AM (0)

Dec 19, 7-8 AM (0)

Dec 19, 8-9 AM (0)

Dec 19, 9-10 AM (0)

Dec 19, 10-11 AM (0)

Dec 19, 11-12 PM (0)

Dec 19, 12-1 PM (0)

Dec 19, 1-2 PM (0)

Dec 19, 2-3 PM (0)

Dec 19, 3-4 PM (0)

Dec 19, 4-5 PM (0)

Dec 19, 5-6 PM (0)

Dec 19, 6-7 PM (0)

Dec 19, 7-8 PM (0)

Dec 19, 8-9 PM (0)

Dec 19, 9-10 PM (0)

Dec 19, 10-11 PM (0)

Dec 19, 11-12 AM (0)

Dec 20, 12-1 AM (0)

Dec 20, 1-2 AM (0)

Dec 20, 2-3 AM (0)

Dec 20, 3-4 AM (0)

Dec 20, 4-5 AM (0)

Dec 20, 5-6 AM (0)

Dec 20, 6-7 AM (0)

Dec 20, 7-8 AM (0)

Dec 20, 8-9 AM (0)

Dec 20, 9-10 AM (0)

Dec 20, 10-11 AM (0)

Dec 20, 11-12 PM (0)

Dec 20, 12-1 PM (0)

Dec 20, 1-2 PM (0)

Dec 20, 2-3 PM (0)

Dec 20, 3-4 PM (0)

Dec 20, 4-5 PM (0)

Dec 20, 5-6 PM (0)

Dec 20, 6-7 PM (0)

Dec 20, 7-8 PM (0)

Dec 20, 8-9 PM (0)

Dec 20, 9-10 PM (0)

Dec 20, 10-11 PM (0)

Dec 20, 11-12 AM (0)

Dec 21, 12-1 AM (0)

Dec 21, 1-2 AM (0)

Dec 21, 2-3 AM (0)

Dec 21, 3-4 AM (0)

Dec 21, 4-5 AM (0)

Dec 21, 5-6 AM (0)

Dec 21, 6-7 AM (0)

Dec 21, 7-8 AM (0)

Dec 21, 8-9 AM (0)

Dec 21, 9-10 AM (0)

Dec 21, 10-11 AM (0)

Dec 21, 11-12 PM (0)

20 commits this week Dec 14, 2024 - Dec 21, 2024

HeinrichApfelmus · Wed, 18 Dec 24 14:48:28 +0000 · cardano-wallet-agda

Add `DeltaUTxO.fits`

56ee40d9 · HeinrichApfelmus/deltautxo-fits · 2/36 ++ 2 --

HeinrichApfelmus · Wed, 18 Dec 24 14:48:28 +0000 · cardano-wallet-agda

Rename to `DeltaUTxO.appends`

3c26e740 · HeinrichApfelmus/deltautxo-fits · 2/58 ++ 19 --

HeinrichApfelmus · Wed, 18 Dec 24 14:48:28 +0000 · cardano-wallet-agda

Add `UTxO.disjoint`

a6484b44 · HeinrichApfelmus/deltautxo-fits · 2/76 ++ 13 --

HeinrichApfelmus · Wed, 18 Dec 24 14:30:07 +0000 · cardano-wallet-agda

Add documentation for continuous integration (CI) (#120)

This pull request adds documentation about our continuous integration
(CI) approach to `CONTRIBUTING.md`. It also adds a build badge to the
`README.md`.

Resolves #118

67b28cdc · HeinrichApfelmus/deltautxo-fits · 3/24 ++ 5 --

HeinrichApfelmus · Wed, 18 Dec 24 14:15:20 +0000 · cardano-wallet-agda

Remove mention of Jira from PR template

e932ab43 · HeinrichApfelmus/deltautxo-fits · 1/0 ++ 4 --

HeinrichApfelmus · Wed, 18 Dec 24 14:14:29 +0000 · cardano-wallet-agda

Add CI status badge

2c39eeb0 · HeinrichApfelmus/deltautxo-fits · 1/2 ++ 0 --

HeinrichApfelmus · Wed, 18 Dec 24 14:14:22 +0000 · cardano-wallet-agda

Expand on `nix` as prerequisite for building

fdc429ab · HeinrichApfelmus/deltautxo-fits · 1/2 ++ 1 --

HeinrichApfelmus · Wed, 18 Dec 24 14:14:05 +0000 · cardano-wallet-agda

Add section about CI to CONTRIBUTING.md

78b1a1af · HeinrichApfelmus/deltautxo-fits · 1/20 ++ 0 --

Anviking · Tue, 17 Dec 24 17:28:01 +0000 · cardano-wallet-agda

Add more `StrictData` annotations (#119)

- Add StrictData to `TxHistory`
- Add StrictData to `PairMap`
- Add StrictData to `ResolvedTx`
- Add StrictData to `EraValue`
- Add StrictData to `ValueTransfer`

### Comments

Some of these types appear unused from the deposit wallet (like this
`TxHistory`), but presumably deserve increased strictness anyway.

### Issue Number

Related to
https://github.com/cardano-foundation/cardano-wallet/issues/4876, but
these changes didn't seem to be needed to fix the issue

2277ddaa · main · 9/40 ++ 17 --