formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Build the Conway spec in CI

Open WhatisRT opened this issue 9 months ago • 0 comments

Description

This adds the Conway spec to nix as the attribute ledger.conway and link it from the README. Also updates a bunch of deprecated CI actions.

Checklist

  • [x] Commit sequence broadly makes sense and commits have useful messages
  • [x] Code is formatted according to CONTRIBUTING.md
  • [x] Self-reviewed the diff

WhatisRT avatar May 07 '24 10:05 WhatisRT