Create Release

Tiny fix in S04_Bases.lean (#280) #19

Sign in to view logs

Triggered via push February 3, 2025 10:40

master

Status Success

Total duration 13s

Artifacts –

create-release.yml

on: push