9 Pull requests merged by 2 people

• Add monetary and treasury expansion to PParams

  #732 merged Mar 28, 2025

• Refactor GovernanceActions using dep. types

  #703 merged Mar 27, 2025

• Fix ci again

  #736 merged Mar 27, 2025

• Fixes CI

  #733 merged Mar 26, 2025

• Refactor artifact location and gh pages

  #731 merged Mar 26, 2025

• Move conformance example to its own folder

  #728 merged Mar 26, 2025

• Refactor workflows

  #730 merged Mar 26, 2025

• Add shellcheck to CI

  #729 merged Mar 25, 2025

• Reimplement make using shake

  #721 merged Mar 25, 2025

1 Pull request opened by 1 person

• Improve documentation for new setup/workflow

  #735 opened Mar 27, 2025

7 Issues closed by 2 people

• Automatically generate some required files

  #252 closed Mar 28, 2025

• Improve HTML output

  #8 closed Mar 28, 2025

• Build directory for `Makefile`

  #166 closed Mar 28, 2025

• Define _~_ (in Gov.lagda) primitively

  #701 closed Mar 28, 2025

• Unify/cleanup artifacts' location

  #725 closed Mar 27, 2025

• Add Shellcheck to CI and fix scripts' warnings

  #727 closed Mar 25, 2025

• Refactor `checkTypeChecked.sh`

  #717 closed Mar 25, 2025

3 Issues opened by 2 people

• Fix TODO in governance actions

  #737 opened Mar 27, 2025

• Improve documentation for new setup/workflow

  #734 opened Mar 27, 2025

• Fix bug introduced by doing CERTBASE first

  #726 opened Mar 24, 2025

7 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Add missing definitions to appendix of full ledger spec

  #714 commented on Mar 28, 2025 • 1 new comment

• Remaining Shelley features/proofs

  #675 commented on Mar 25, 2025 • 0 new comments

• Remaining Babbage features/proofs

  #724 commented on Mar 25, 2025 • 0 new comments

• Clean build system and organize repo

  #709 commented on Mar 26, 2025 • 0 new comments

• Remaining Alonzo features/proofs

  #723 commented on Mar 26, 2025 • 0 new comments

• Literate Agda using markdown

  #680 commented on Mar 28, 2025 • 0 new comments

• add entry to Makefile for generating a more complete Everything.agda

  #55 commented on Mar 26, 2025 • 0 new comments