Skip to content

Actions: JetBrains-Research/coqpilot

Actions

Publish new version

Actions

Loading...
Loading

Create status badge

Loading
publish-new-version.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish new version Publish new version #11: Manually run by K-dizzled
February 10, 2025 14:08 15m 7s main
main
February 10, 2025 14:08 15m 7s
Publish new version Publish new version #10: Manually run by K-dizzled
December 11, 2024 11:51 12m 28s main
main
December 11, 2024 11:51 12m 28s
Publish new version Publish new version #9: Manually run by K-dizzled
November 27, 2024 11:58 11m 22s main
main
November 27, 2024 11:58 11m 22s
Publish new version Publish new version #8: Manually run by K-dizzled
November 27, 2024 09:33 15m 26s main
main
November 27, 2024 09:33 15m 26s
Publish new version Publish new version #7: Manually run by K-dizzled
October 16, 2024 09:41 15m 25s main
main
October 16, 2024 09:41 15m 25s
Publish new version Publish new version #6: Manually run by K-dizzled
September 5, 2024 12:47 14m 5s main
main
September 5, 2024 12:47 14m 5s
Publish new version Publish new version #5: Manually run by K-dizzled
August 27, 2024 10:15 37s main
main
August 27, 2024 10:15 37s
Publish new version Publish new version #4: Manually run by K-dizzled
June 26, 2024 21:55 11m 49s main
main
June 26, 2024 21:55 11m 49s
Publish new version Publish new version #3: Manually run by K-dizzled
June 21, 2024 17:32 14m 37s main
main
June 21, 2024 17:32 14m 37s
Publish new version Publish new version #2: Manually run by K-dizzled
June 10, 2024 21:46 11m 58s main
main
June 10, 2024 21:46 11m 58s
Publish new version Publish new version #1: Manually run by GlebSolovev
May 23, 2024 23:58 9m 57s main
main
May 23, 2024 23:58 9m 57s