Skip to content

Actions: EugeneLoy/coq_jupyter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated ci-tests.yml CI Tests #144: Commit 2416bbe pushed by EugeneLoy
January 25, 2024 09:46 25s master
master
January 25, 2024 09:46 25s
Publish release Publish release #5: Manually run by EugeneLoy
January 25, 2024 09:39 3m 21s master
master
January 25, 2024 09:39 3m 21s
updated ci-tests.yml CI Tests #143: Commit 1d7bfe2 pushed by EugeneLoy
January 25, 2024 09:38 44s master
master
January 25, 2024 09:38 44s
Publish release Publish release #4: Manually run by EugeneLoy
January 25, 2024 09:35 Failure master
master
January 25, 2024 09:35 Failure
updated release script CI Tests #142: Commit e3ecf95 pushed by EugeneLoy
January 25, 2024 09:34 2m 47s master
master
January 25, 2024 09:34 2m 47s
version bump CI Tests #141: Commit 621290f pushed by EugeneLoy
January 25, 2024 09:26 6m 8s v1.6.1
v1.6.1
January 25, 2024 09:26 6m 8s
version bump Publish release #3: Commit 621290f pushed by EugeneLoy
January 25, 2024 09:26 Failure master
master
January 25, 2024 09:26 Failure
version bump CI Tests #140: Commit 621290f pushed by EugeneLoy
January 25, 2024 09:22 2m 59s master
master
January 25, 2024 09:22 2m 59s
updated syntax highlighting CI Tests #139: Commit 6c7c55a pushed by EugeneLoy
January 24, 2024 23:15 2m 55s master
master
January 24, 2024 23:15 2m 55s
Updated readme CI Tests #138: Commit eae9e91 pushed by EugeneLoy
January 24, 2024 22:54 2m 43s master
master
January 24, 2024 22:54 2m 43s
updated ci CI Tests #137: Commit 76124c5 pushed by EugeneLoy
January 24, 2024 21:40 2m 52s master
master
January 24, 2024 21:40 2m 52s
updated ci CI Tests #136: Commit fa94a06 pushed by EugeneLoy
January 24, 2024 21:33 3m 3s master
master
January 24, 2024 21:33 3m 3s