Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update toolchain v4.14.0 Release #5: Commit 90a83f1 pushed by fgdorais
December 2, 2024 13:10 3m 7s v1.1.1
v1.1.1
December 2, 2024 13:10 3m 7s
Release Release #4: by fgdorais
November 3, 2024 03:26 3m 14s v1.1.0
v1.1.0
November 3, 2024 03:26 3m 14s
chore: make lakefile aware of reservoir (#44) Release #3: Commit 477235c pushed by fgdorais
November 3, 2024 03:20 37s v1.1.0
v1.1.0
November 3, 2024 03:20 37s
chore: add release workflow (#46) Release #2: Commit 64d8c2e pushed by fgdorais
November 2, 2024 18:31 3m 12s v0.0.1
v0.0.1
November 2, 2024 18:31 3m 12s
chore: add release workflow (#46) Release #1: Commit 64d8c2e pushed by fgdorais
November 2, 2024 18:24 Startup failure v0.0.0
v0.0.0
November 2, 2024 18:24 Startup failure