Skip to content

Actions: nomeata/lean4

Actions

Update stage0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-stage0.yml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: fix Util.Heartbeats module-doc (#3954) Update stage0 #39: Commit 22ce2fe pushed by nomeata
April 22, 2024 16:56 28s master
master
April 22, 2024 16:56 28s
Reword Update stage0 #38: Commit 1a6e23b pushed by nomeata
January 4, 2024 15:34 28s master
master
January 4, 2024 15:34 28s
More status Update stage0 #37: Commit 520d237 pushed by nomeata
January 4, 2024 15:20 26s master
master
January 4, 2024 15:20 26s
API Update stage0 #36: Commit b5ea760 pushed by nomeata
January 4, 2024 15:11 23s master
master
January 4, 2024 15:11 23s
Try status instead of check Update stage0 #35: Commit ac22a80 pushed by nomeata
January 4, 2024 15:05 23s master
master
January 4, 2024 15:05 23s
Conclusion is not free form Update stage0 #34: Commit 6d06f8f pushed by nomeata
January 4, 2024 15:00 20s master
master
January 4, 2024 15:00 20s
syntax Update stage0 #33: Commit 552f50b pushed by nomeata
January 4, 2024 14:52 25s master
master
January 4, 2024 14:52 25s
test locally Update stage0 #32: Commit 15da7e0 pushed by nomeata
January 4, 2024 14:45 26s master
master
January 4, 2024 14:45 26s
chore: PR release add status check Update stage0 #31: Commit 751d0b9 pushed by nomeata
January 4, 2024 14:44 25s master
master
January 4, 2024 14:44 25s
test locally Update stage0 #30: Commit c5f65c3 pushed by nomeata
December 20, 2023 08:46 27s master
master
December 20, 2023 08:46 27s
chore: pr-release: Also work with older tags Update stage0 #29: Commit 6367bea pushed by nomeata
December 20, 2023 08:45 26s master
master
December 20, 2023 08:45 26s
chore: pr-release: Also work with older tags Update stage0 #28: Commit bcbf67f pushed by nomeata
December 20, 2023 08:43 27s master
master
December 20, 2023 08:43 27s
Go back to potiuk/get-workflow-origin@v1_1 Update stage0 #27: Commit 0500b4e pushed by nomeata
December 14, 2023 17:58 28s master
master
December 14, 2023 17:58 28s
Token Update stage0 #26: Commit 9be1ea9 pushed by nomeata
December 14, 2023 17:47 29s master
master
December 14, 2023 17:47 29s
Test locally Update stage0 #25: Commit 1e300c2 pushed by nomeata
December 14, 2023 17:46 25s master
master
December 14, 2023 17:46 25s
Like this? Update stage0 #24: Commit ce58334 pushed by nomeata
December 12, 2023 21:49 26s master
master
December 12, 2023 21:49 26s
Test locally Update stage0 #23: Commit 84ef8d6 pushed by nomeata
December 12, 2023 21:45 25s master
master
December 12, 2023 21:45 25s
chore: do not use actions-ecosystem/action-add-labels Update stage0 #22: Commit 57f434f pushed by nomeata
December 12, 2023 21:43 28s master
master
December 12, 2023 21:43 28s
Update stage0 Update stage0 #21: Manually run by nomeata
December 12, 2023 10:18 12m 57s master
master
December 12, 2023 10:18 12m 57s
chore: update stage0 Update stage0 #20: Commit c276638 pushed by nomeata
December 12, 2023 10:15 30s master
master
December 12, 2023 10:15 30s
Update stage0 Update stage0 #19: Manually run by nomeata
December 12, 2023 10:08 6m 48s master
master
December 12, 2023 10:08 6m 48s
stash Update stage0 #18: Commit c1631c8 pushed by nomeata
December 12, 2023 10:07 41s master
master
December 12, 2023 10:07 41s
chore: allow updating stage0 via workflow_dispatch Update stage0 #17: Commit fa55f8f pushed by nomeata
December 12, 2023 10:06 1m 18s master
master
December 12, 2023 10:06 1m 18s
stash Update stage0 #16: Commit 2b91436 pushed by nomeata
December 12, 2023 09:56 26s master
master
December 12, 2023 09:56 26s
stash Update stage0 #15: Commit 16be550 pushed by nomeata
December 12, 2023 09:54 24s master
master
December 12, 2023 09:54 24s