release

Fix compilation error on GHC 9.2 (#4263) #1258

Sign in to view logs

Summary
Jobs
- release
- bump_sh
Run details
- Usage
- Workflow file

Triggered via push November 24, 2023 11:59

github-merge-queue[bot]

master

Status Skipped

Total duration 3s

Artifacts –

release.yml

on: push