Home / Reports / Feb 15, 2025
Saturday, February 15, 2025
166 commits had been pushed across 40 repos by 29 authors. There were 5,266,709 additions and 38,921 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
![github-merge-queue[bot]](https://avatars.githubusercontent.com/u/9919?v=4&s=80)
Repos Updated
- cardano-ledger20
- catalyst-voices17
- cardano-ledger16
- cf-summit-evoting-status13
- cardano-ledger-specs11
- cf-cip1694-ballot-status10
- cardano-economic-insights8
- cf-token-metadata-registry-status6
- cardano-token-registry5
- cardano-wallet5
- haskell.nix5
- pool_groups4
- funding4
- plu-ts3
- cardano-haskell-package-repo3
- cardano-playground3
- hydra3
- cardano-haskell-packages3
- aiken2
- cardano-up-packages2
- tx-submit-api-mirror2
- ouroboros-leios2
- ouroboros-leios-sim2
- editor-integration-nvim1
- cardano-up1
- nview1
- tx-submit-api1
- guild-operators1
- cardano-wallet1
- zeko1
- acropolis1
- cardano-haskell-packages-old1
- cardano-parts1
- formal-ledger-specifications1
- stackage.nix1
- cardano-api1
- cardano-node1
- cardano-upgrades-gitbook1
- plutarch1
- adalite1
Commit Log
00:03:47
[e86b5511]
Added GenExperiment, added HasSpec Bool instance in NumSpecExperiment
(cardano-ledger-specs)
00:03:47
[68af2541]
Added NumSpec and functions compose id flip, New file NumSpecExperiment.hs
(cardano-ledger)
00:03:47
[758b4f26]
Knot tying, completed FunctionsSymbol instances for NumOrdW
(cardano-ledger-specs)
00:03:47
[a334d337]
Added moved semantis to Witness, added Constraint parameter to FunctionSymbol
(cardano-ledger)
00:03:47
[53cbb562]
Syntax, NumSpec, Conformance Experiment to the build chain, working on Simplify and Sum Experiment.
(cardano-ledger-specs)
00:03:48
[87355701]
Moved toCtx to TheKnot, added Specs.Pairs to repo, experiments have all worked out.
(cardano-ledger-specs)
00:03:48
[f2af161a]
Removed helper propagate functions, now you must implement propagate. Lots of examples.
(cardano-ledger)
00:03:48
[201e8325]
Cleaned up, Lots of work on Foldy, introduced the Fun type, added Evidence to Contexts.
(cardano-ledger)
00:03:48
[c276a494]
Union, To, From type checking, some semantics still to go.
(cardano-ledger-specs)
00:03:48
[85abd970]
Removed (All HasSpec dom) (HasSpec rng) from Function symbol, but addded them to App, This makes is easier to make FunctionSymbol instances, maybe?
(cardano-ledger)
00:08:38
[bdafe518]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-summit-evoting-status)
00:08:38
[98cd5955]
:pencil: Update summary in README [skip ci] [upptime]
(cf-summit-evoting-status)
00:10:03
[e3052649]
:pencil: Update summary in README [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:10:03
[77e7f823]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-token-metadata-registry-status)
00:21:37
[c945996d]
:card_file_box: Update status summary [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:21:37
[9e842b10]
:pencil: Update summary in README [skip ci] [upptime]
(cf-cip1694-ballot-status)
00:44:13
[ee8f2315]
Deploying to gh-pages from @ input-output-hk/catalyst-voices@8f164e7cae423fc57ff9d925c27b08e7df4ac556 🚀
(catalyst-voices)
01:28:01
[0633416f]
Update eras/shelley/impl/src/Cardano/Ledger/Shelley/CertState.hs
(cardano-ledger)
02:22:56
[7a6d9e3f]
Generate code for 7958fc36528e09dc2506773439f7a483f2f9a707
(formal-ledger-specifications)
13:58:15
[28c7b8af]
chore(deps): bump blinklabs-io/go from 1.23.5-1 to 1.23.6-1 (#298)
(tx-submit-api)
13:58:40
[b3d546d6]
chore(deps): Bump github.com/maestro-org/go-sdk from 1.2.0 to 1.2.1 (#185)
(tx-submit-api-mirror)
13:58:59
[f2516e25]
chore(deps): Bump blinklabs-io/go from 1.23.5-1 to 1.23.6-1 (#186)
(tx-submit-api-mirror)
18:57:01
[48b941c5]
Update from 638342b53b62212bb45379f05cf59f7677dfeb24
(cardano-haskell-packages-old)
23:03:46
[320c95d2]
🟩 API (Specific property) is up (204 in 168 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:03:46
[93d11a51]
🟩 API (All properties) is up (204 in 792 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:03:47
[550a7d62]
🟩 API (Batch) is up (204 in 165 ms) [skip ci] [upptime]
(cf-token-metadata-registry-status)
23:05:22
[9f44eced]
🟩 voting.summit.cardano.org is up (200 in 476 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:23
[97c500f9]
🟥 event-api is down (404 in 435 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:24
[b076110b]
🟥 blockchain-follower-api is down (404 in 327 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:24
[fd1c180a]
🟩 user-verification-api is up (405 in 423 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:25
[ca83a8e4]
🟩 cast-vote-api is up (401 in 278 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:25
[46a7bbb7]
🟩 login-api is up (401 in 302 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:26
[d82e2681]
🟩 get-votes-api is up (401 in 191 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:26
[34dc2de2]
🟩 get-vote-receipt-api is up (401 in 87 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:27
[024096c9]
🟩 keria-provisioning is up (405 in 683 ms) [skip ci] [upptime]
(cf-summit-evoting-status)
23:05:46
[61e08c40]
🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:05:47
[5a9aedc8]
🟥 login-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:05:47
[7a5750d3]
🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:05:47
[7094242e]
🟥 event-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:05:48
[e012043d]
🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:05:48
[a3a8d4a4]
🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)
23:05:48
[7f56843a]
🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime]
(cf-cip1694-ballot-status)