Skip to content

Actions: sjtug/mirror-clone

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
24 workflow runs
24 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
elan: add glean (#126) Release #65: Commit 96c5460 pushed by PhotonQuantum
October 20, 2023 07:08 6m 52s v0.2.37
v0.2.37
October 20, 2023 07:08 6m 52s
elan: add glean (#126) Test #301: Commit 96c5460 pushed by PhotonQuantum
October 19, 2023 04:21 1m 29s master
master
October 19, 2023 04:21 1m 29s
elan: add glean Test #300: Pull request #126 synchronize by alissa-tung
October 18, 2023 17:20 1m 45s alissa-tung:master
alissa-tung:master
October 18, 2023 17:20 1m 45s
elan: add glean Test #299: Pull request #126 opened by alissa-tung
October 18, 2023 16:16 1m 7s alissa-tung:master
alissa-tung:master
October 18, 2023 16:16 1m 7s
elan: put lean release in leanprover/lean4 (#125) Release #64: Commit dfbab00 pushed by PhotonQuantum
October 13, 2023 23:12 5m 32s v0.2.36
v0.2.36
October 13, 2023 23:12 5m 32s
elan: put lean release in leanprover/lean4 (#125) Test #298: Commit dfbab00 pushed by PhotonQuantum
October 13, 2023 21:26 4m 21s master
master
October 13, 2023 21:26 4m 21s
elan: put lean release in leanprover/lean4 Test #297: Pull request #125 opened by alissa-tung
October 13, 2023 15:40 3m 59s alissa-tung:master
alissa-tung:master
October 13, 2023 15:40 3m 59s
lean: init elan (#124) Release #63: Commit 6448e93 pushed by PhotonQuantum
October 1, 2023 20:24 7m 2s v0.2.35
v0.2.35
October 1, 2023 20:24 7m 2s
lean: init elan (#124) Test #296: Commit 6448e93 pushed by PhotonQuantum
September 29, 2023 21:58 3m 37s master
master
September 29, 2023 21:58 3m 37s
lean: init elan Test #295: Pull request #124 opened by alissa-tung
September 29, 2023 06:46 3m 32s alissa-tung:master
alissa-tung:master
September 29, 2023 06:46 3m 32s
chore(pypi): do not generate index Test #294: Commit 0625874 pushed by PhotonQuantum
July 4, 2023 18:36 57s master
master
July 4, 2023 18:36 57s
chore(pypi): do not generate index Test #293: Pull request #123 opened by PhotonQuantum
July 4, 2023 18:33 1m 0s PhotonQuantum:pypi-no-index
PhotonQuantum:pypi-no-index
July 4, 2023 18:33 1m 0s
chore(pypi): reduce verbosity Test #292: Commit b2014e8 pushed by PhotonQuantum
July 4, 2023 18:33 1m 1s master
master
July 4, 2023 18:33 1m 1s
chore(pypi): reduce verbosity Test #291: Pull request #122 opened by PhotonQuantum
July 4, 2023 18:17 1m 21s PhotonQuantum:reduce-verbose
PhotonQuantum:reduce-verbose
July 4, 2023 18:17 1m 21s
fix: no proxy on gcp apis Release #62: Commit b3577b1 pushed by PhotonQuantum
July 4, 2023 17:47 7m 47s v0.2.34
v0.2.34
July 4, 2023 17:47 7m 47s
fix: no proxy on gcp apis Test #290: Commit b3577b1 pushed by PhotonQuantum
July 4, 2023 17:44 3m 47s master
master
July 4, 2023 17:44 3m 47s
fix: no proxy on gcp apis Test #289: Pull request #121 opened by PhotonQuantum
July 4, 2023 17:40 3m 43s PhotonQuantum:gcp-proxy
PhotonQuantum:gcp-proxy
July 4, 2023 17:40 3m 43s
fix: snapshot compatible with windows and linux Release #61: Commit 77371d6 pushed by PhotonQuantum
July 4, 2023 14:39 7m 12s v0.2.33
v0.2.33
July 4, 2023 14:39 7m 12s
fix: snapshot compatible with windows and linux Test #288: Commit 77371d6 pushed by PhotonQuantum
July 4, 2023 14:38 5m 2s master
master
July 4, 2023 14:38 5m 2s
feat(pypi): download trending packages and latest versions only Test #287: Pull request #120 synchronize by PhotonQuantum
July 4, 2023 14:31 5m 1s PhotonQuantum:pypi-trending-latest
PhotonQuantum:pypi-trending-latest
July 4, 2023 14:31 5m 1s
feat(pypi): download trending packages and latest versions only Test #286: Pull request #120 synchronize by PhotonQuantum
July 4, 2023 14:10 3m 57s PhotonQuantum:pypi-trending-latest
PhotonQuantum:pypi-trending-latest
July 4, 2023 14:10 3m 57s
feat(pypi): download trending packages and latest versions only Test #285: Pull request #120 synchronize by PhotonQuantum
July 4, 2023 13:04 4m 22s PhotonQuantum:pypi-trending-latest
PhotonQuantum:pypi-trending-latest
July 4, 2023 13:04 4m 22s
feat(pypi): download trending packages and latest versions only Test #284: Pull request #120 synchronize by PhotonQuantum
July 4, 2023 12:39 2m 0s PhotonQuantum:pypi-trending-latest
PhotonQuantum:pypi-trending-latest
July 4, 2023 12:39 2m 0s
feat(pypi): download trending packages and latest versions only Test #283: Pull request #120 opened by PhotonQuantum
July 4, 2023 12:37 39s PhotonQuantum:pypi-trending-latest
PhotonQuantum:pypi-trending-latest
July 4, 2023 12:37 39s