Code

Make a workflow for releases#21

Code

Open

tchoutri wants to merge 4 commits intomaintchoutri/confer:mainfrom release-actiontchoutri/confer:release-actionCopy head branch name to clipboard

+304-23

Commits

Commits on Aug 12, 2024

• Make a workflow for releases

  tchoutri

  committed
  d3a6b57

  Copy full SHA for d3a6b57

• Put a bound for effectful

  tchoutri

  committed
  e9d8cfb

  Copy full SHA for e9d8cfb

• Put a bound for base

  tchoutri

  committed
  8d877e0

  Copy full SHA for 8d877e0

• Update freeze files

  tchoutri

  committed
  62e8040

  Copy full SHA for 62e8040