Skip to content

Actions: digama0/leangz

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

migrate from set-output Build #13: Commit 7f2835f pushed by digama0
November 1, 2024 12:09 2m 4s master
master
November 1, 2024 12:09 2m 4s
update action Release #26: Commit be54d5a pushed by digama0
November 1, 2024 12:02 1m 58s v0.1.14
v0.1.14
November 1, 2024 12:02 1m 58s
update action Build #12: Commit be54d5a pushed by digama0
November 1, 2024 12:02 1m 17s master
master
November 1, 2024 12:02 1m 17s
install cross Release #25: Commit 180315b pushed by digama0
November 1, 2024 11:58 2m 12s v0.1.14
v0.1.14
November 1, 2024 11:58 2m 12s
install cross Release #24: Commit 7dfaf6d pushed by digama0
November 1, 2024 11:56 1m 45s v0.1.14
v0.1.14
November 1, 2024 11:56 1m 45s
install cross Build #11: Commit 180315b pushed by digama0
November 1, 2024 11:55 1m 47s master
master
November 1, 2024 11:55 1m 47s
install cross Release #23: Commit 7dfaf6d pushed by digama0
November 1, 2024 11:54 1m 51s v0.1.14
v0.1.14
November 1, 2024 11:54 1m 51s
install cross Build #10: Commit 7dfaf6d pushed by digama0
November 1, 2024 11:53 47s master
master
November 1, 2024 11:53 47s
migrate from deprecated actions Release #22: Commit 42c5d28 pushed by digama0
November 1, 2024 11:42 42s v0.1.14
v0.1.14
November 1, 2024 11:42 42s
migrate from deprecated actions Build #9: Commit 42c5d28 pushed by digama0
November 1, 2024 11:39 2m 0s master
master
November 1, 2024 11:39 2m 0s
migrate from deprecated actions Build #8: Commit d22d56a pushed by digama0
November 1, 2024 11:38 2m 6s master
master
November 1, 2024 11:38 2m 6s
migrate from deprecated actions Build #7: Commit 8875a98 pushed by digama0
November 1, 2024 11:34 2m 17s master
master
November 1, 2024 11:34 2m 17s
update GHA script Build #6: Commit 0ef0d20 pushed by digama0
November 1, 2024 11:18 2m 26s master
master
November 1, 2024 11:18 2m 26s
update GHA script Build #5: Commit 4c88b22 pushed by digama0
November 1, 2024 11:16 2m 34s master
master
November 1, 2024 11:16 2m 34s
Release Release #21: by digama0
November 1, 2024 11:10 16s v0.1.14
v0.1.14
November 1, 2024 11:10 16s
v0.1.13 Release #20: Commit 7879282 pushed by digama0
June 15, 2024 00:57 2m 2s v0.1.13
v0.1.13
June 15, 2024 00:57 2m 2s
support lean4#4402 Release #19: Commit f59b480 pushed by digama0
June 13, 2024 19:15 2m 9s v0.1.12
v0.1.12
June 13, 2024 19:15 2m 9s
v0.1.11 Release #18: Commit 67c786e pushed by digama0
January 28, 2024 07:31 3m 40s v0.1.11
v0.1.11
January 28, 2024 07:31 3m 40s
v0.1.10, update dependencies Release #17: Commit 7ab9137 pushed by digama0
December 6, 2023 03:49 3m 44s v0.1.10
v0.1.10
December 6, 2023 03:49 3m 44s
Release Release #16: by digama0
November 27, 2023 21:31 4m 20s v0.1.9
v0.1.9
November 27, 2023 21:31 4m 20s
version 0.1.8 Release #15: Commit 4c1cc0c pushed by digama0
November 19, 2023 11:03 2m 36s v0.1.8
v0.1.8
November 19, 2023 11:03 2m 36s
version 0.1.7: add comment display utility Release #14: Commit cca65df pushed by digama0
September 15, 2023 00:22 4m 13s v0.1.7
v0.1.7
September 15, 2023 00:22 4m 13s
Release Release #13: by digama0
September 15, 2023 00:22 5m 25s v0.1.7
v0.1.7
September 15, 2023 00:22 5m 25s
version 0.1.6: add LTAR comments Release #12: Commit 8e63c8f pushed by digama0
September 14, 2023 05:30 5m 12s v0.1.6
v0.1.6
September 14, 2023 05:30 5m 12s
fix release options for windows Release #11: Commit b18a96f pushed by digama0
August 7, 2023 15:39 4m 39s v0.1.5
v0.1.5
August 7, 2023 15:39 4m 39s