Skip to content

Actions: LPCIC/coq-elpi

Actions

RELEASE

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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