Skip to content

Actions: LPCIC/coq-elpi

Actions

RELEASE

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RELEASE RELEASE #9: Manually run by gares
February 18, 2025 12:06 3m 11s master
master
February 18, 2025 12:06 3m 11s
RELEASE RELEASE #8: Manually run by gares
February 18, 2025 11:59 3m 14s master
master
February 18, 2025 11:59 3m 14s
RELEASE RELEASE #7: Manually run by gares
February 18, 2025 11:49 3m 44s master
master
February 18, 2025 11:49 3m 44s
RELEASE RELEASE #6: Manually run by gares
February 18, 2025 10:36 3m 0s master
master
February 18, 2025 10:36 3m 0s
Merge pull request #774 from LPCIC/changelog RELEASE #5: Commit d017e74 pushed by gares
February 18, 2025 10:08 3m 9s v2.5.0
v2.5.0
February 18, 2025 10:08 3m 9s
fix test RELEASE #4: Commit c1b1572 pushed by gares
February 18, 2025 10:05 1m 50s v2.5.0
v2.5.0
February 18, 2025 10:05 1m 50s
RELEASE RELEASE #3: Manually run by gares
January 15, 2025 14:40 4m 1s master
master
January 15, 2025 14:40 4m 1s
RELEASE RELEASE #2: Manually run by gares
January 15, 2025 14:17 3m 10s master
master
January 15, 2025 14:17 3m 10s
RELEASE RELEASE #1: Manually run by gares
January 15, 2025 14:13 1m 45s master
master
January 15, 2025 14:13 1m 45s