Skip to content

Actions: EugeneLoy/coq_jupyter

Publish release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

version bump
Publish release #7: Commit f6c5989 pushed by EugeneLoy
January 25, 2024 09:53 4m 54s v1.6.2
January 25, 2024 09:53 4m 54s
version bump
Publish release #6: Commit 621290f pushed by EugeneLoy
January 25, 2024 09:50 Failure master
January 25, 2024 09:50 Failure
Publish release
Publish release #5: Manually run by EugeneLoy
January 25, 2024 09:39 3m 21s master
January 25, 2024 09:39 3m 21s
Publish release
Publish release #4: Manually run by EugeneLoy
January 25, 2024 09:35 Failure master
January 25, 2024 09:35 Failure
version bump
Publish release #3: Commit 621290f pushed by EugeneLoy
January 25, 2024 09:26 Failure master
January 25, 2024 09:26 Failure