Skip to content

Actions: LPCIC/coq-elpi

Actions

RELEASE

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

changelog RELEASE #19: Commit f58f5ad pushed by gares
4m 44s v3.2.0
v3.2.0
4m 44s
RELEASE RELEASE #18: Manually run by gares
3m 7s v3.1.0
v3.1.0
3m 7s
Merge pull request #872 from LPCIC/release RELEASE #17: Commit f0ec947 pushed by gares
5m 50s v3.1.0
v3.1.0
5m 50s
close changelog RELEASE #16: Commit 06e7e05 pushed by gares
3m 18s v3.0.0
v3.0.0
3m 18s
close changelog RELEASE #15: Commit 4ce751c pushed by gares
5m 16s v2.6.0
v2.6.0
5m 16s
close changelog RELEASE #14: Commit d2ec2e1 pushed by gares
4m 10s v2.5.2
v2.5.2
4m 10s
RELEASE RELEASE #13: Manually run by gares
2m 53s master
master
2m 53s
RELEASE RELEASE #12: Manually run by gares
3m 40s master
master
3m 40s
RELEASE RELEASE #11: Manually run by gares
4m 19s master
master
4m 19s
RELEASE RELEASE #10: Manually run by gares
2m 51s v2.5.1
v2.5.1
2m 51s
RELEASE RELEASE #9: Manually run by gares
3m 11s master
master
3m 11s
RELEASE RELEASE #8: Manually run by gares
3m 14s master
master
3m 14s
RELEASE RELEASE #7: Manually run by gares
3m 44s master
master
3m 44s
RELEASE RELEASE #6: Manually run by gares
3m 0s master
master
3m 0s
Merge pull request #774 from LPCIC/changelog RELEASE #5: Commit d017e74 pushed by gares
3m 9s v2.5.0
v2.5.0
3m 9s
fix test RELEASE #4: Commit c1b1572 pushed by gares
1m 50s v2.5.0
v2.5.0
1m 50s
RELEASE RELEASE #3: Manually run by gares
4m 1s master
master
4m 1s
RELEASE RELEASE #2: Manually run by gares
3m 10s master
master
3m 10s
RELEASE RELEASE #1: Manually run by gares
1m 45s master
master
1m 45s