Code

Fix benchmark deployment directory#1045

Code

Merged

VojtechStep merged 1 commit intoUniMath:masterUniMath/agda-unimath:masterfrom VojtechStep:hotfix/perf-deploymentVojtechStep/agda-unimath:hotfix/perf-deploymentCopy head branch name to clipboardFeb 27, 2024

+3-4

Commits

Commits on Feb 27, 2024

• Fix perf deployment directory

  VojtechStep

  committed
  9300021

  Copy full SHA for 9300021