Skip to content

Actions: sjtug/mirror-clone

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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) 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) 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) 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) 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 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