Skip to content

Actions: sjtug/mirror-clone

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(ghcup): sig (#130) Release #67: Commit 73f5b30 pushed by PhotonQuantum
July 9, 2024 18:45 2m 52s v0.2.39
v0.2.39
July 9, 2024 18:45 2m 52s
fix(ghcup): sig (#130) Test #313: Commit 73f5b30 pushed by PhotonQuantum
July 9, 2024 18:40 43s master
master
July 9, 2024 18:40 43s
fix(ghcup): sig Test #312: Pull request #130 synchronize by PhotonQuantum
July 9, 2024 18:40 41s PhotonQuantum:ghcup-sig
PhotonQuantum:ghcup-sig
July 9, 2024 18:40 41s
fix(ghcup): sig Test #311: Pull request #130 synchronize by PhotonQuantum
July 9, 2024 18:39 49s PhotonQuantum:ghcup-sig
PhotonQuantum:ghcup-sig
July 9, 2024 18:39 49s
fix(ghcup): sig Test #310: Pull request #130 opened by PhotonQuantum
July 9, 2024 18:38 39s PhotonQuantum:ghcup-sig
PhotonQuantum:ghcup-sig
July 9, 2024 18:38 39s
Revert "fix(ghcup): sig" (#129) Test #309: Commit 3c88a09 pushed by PhotonQuantum
July 9, 2024 18:38 53s master
master
July 9, 2024 18:38 53s
Revert "fix(ghcup): sig" Test #308: Pull request #129 opened by PhotonQuantum
July 9, 2024 18:36 1m 9s revert-128-ghcup-sig
revert-128-ghcup-sig
July 9, 2024 18:36 1m 9s
fix(ghcup): sig (#128) Test #307: Commit f491793 pushed by PhotonQuantum
July 9, 2024 18:35 39s master
master
July 9, 2024 18:35 39s
fix(ghcup): sig Test #306: Pull request #128 synchronize by PhotonQuantum
July 9, 2024 18:35 39s PhotonQuantum:ghcup-sig
PhotonQuantum:ghcup-sig
July 9, 2024 18:35 39s
fix(ghcup): sig Test #305: Pull request #128 synchronize by PhotonQuantum
July 9, 2024 18:32 33s PhotonQuantum:ghcup-sig
PhotonQuantum:ghcup-sig
July 9, 2024 18:32 33s
fix(ghcup): sig Test #304: Pull request #128 opened by PhotonQuantum
July 9, 2024 18:31 38s PhotonQuantum:ghcup-sig
PhotonQuantum:ghcup-sig
July 9, 2024 18:31 38s
elan: add proofwidgets (#127) Release #66: Commit 0c7437a pushed by PhotonQuantum
July 3, 2024 17:18 2m 54s v0.2.38
v0.2.38
July 3, 2024 17:18 2m 54s
elan: add proofwidgets (#127) Test #303: Commit 0c7437a pushed by PhotonQuantum
July 3, 2024 17:17 2m 29s master
master
July 3, 2024 17:17 2m 29s
elan: add proofwidgets Test #302: Pull request #127 opened by timechess
July 3, 2024 05:36 2m 20s timechess:master
timechess:master
July 3, 2024 05:36 2m 20s
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