Skip to content

Actions: nomeata/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: prevent stage0 updates from being merged using the merge queue Nix CI #60: Pull request #2 synchronize by nomeata
April 22, 2024 16:56 32m 2s joachim/stage0-queue-check
joachim/stage0-queue-check
April 22, 2024 16:56 32m 2s
chore: prevent stage0 updates from being merged using the merge queue Nix CI #59: Pull request #2 opened by nomeata
April 22, 2024 16:56 35s joachim/stage0-queue-check
joachim/stage0-queue-check
April 22, 2024 16:56 35s
chore: fix Util.Heartbeats module-doc (#3954) Nix CI #58: Commit 22ce2fe pushed by nomeata
April 22, 2024 16:56 32m 17s master
master
April 22, 2024 16:56 32m 17s
Reword Nix CI #57: Commit 1a6e23b pushed by nomeata
January 4, 2024 15:34 2m 15s master
master
January 4, 2024 15:34 2m 15s
More status Nix CI #56: Commit 520d237 pushed by nomeata
January 4, 2024 15:20 2m 37s master
master
January 4, 2024 15:20 2m 37s
API Nix CI #55: Commit b5ea760 pushed by nomeata
January 4, 2024 15:11 2m 20s master
master
January 4, 2024 15:11 2m 20s
Try status instead of check Nix CI #54: Commit ac22a80 pushed by nomeata
January 4, 2024 15:05 2m 20s master
master
January 4, 2024 15:05 2m 20s
Conclusion is not free form Nix CI #53: Commit 6d06f8f pushed by nomeata
January 4, 2024 15:00 2m 20s master
master
January 4, 2024 15:00 2m 20s
syntax Nix CI #52: Commit 552f50b pushed by nomeata
January 4, 2024 14:52 2m 37s master
master
January 4, 2024 14:52 2m 37s
test locally Nix CI #51: Commit 15da7e0 pushed by nomeata
January 4, 2024 14:45 5m 36s master
master
January 4, 2024 14:45 5m 36s
chore: PR release add status check Nix CI #50: Commit 751d0b9 pushed by nomeata
January 4, 2024 14:44 1m 54s master
master
January 4, 2024 14:44 1m 54s
test locally Nix CI #49: Commit c5f65c3 pushed by nomeata
December 20, 2023 08:46 4m 7s master
master
December 20, 2023 08:46 4m 7s
chore: pr-release: Also work with older tags Nix CI #48: Commit 6367bea pushed by nomeata
December 20, 2023 08:45 2m 1s master
master
December 20, 2023 08:45 2m 1s
chore: pr-release: Also work with older tags Nix CI #47: Commit bcbf67f pushed by nomeata
December 20, 2023 08:43 1m 52s master
master
December 20, 2023 08:43 1m 52s
Go back to potiuk/get-workflow-origin@v1_1 Nix CI #46: Commit 0500b4e pushed by nomeata
December 14, 2023 17:58 2m 28s master
master
December 14, 2023 17:58 2m 28s
Token Nix CI #45: Commit 9be1ea9 pushed by nomeata
December 14, 2023 17:47 3m 7s master
master
December 14, 2023 17:47 3m 7s
Test locally Nix CI #44: Commit 1e300c2 pushed by nomeata
December 14, 2023 17:46 1m 40s master
master
December 14, 2023 17:46 1m 40s
Like this? Nix CI #43: Commit ce58334 pushed by nomeata
December 12, 2023 21:49 2m 29s master
master
December 12, 2023 21:49 2m 29s
Test locally Nix CI #42: Commit 84ef8d6 pushed by nomeata
December 12, 2023 21:45 3m 36s master
master
December 12, 2023 21:45 3m 36s
chore: do not use actions-ecosystem/action-add-labels Nix CI #41: Commit 57f434f pushed by nomeata
December 12, 2023 21:43 1m 38s master
master
December 12, 2023 21:43 1m 38s
chore: update stage0 Nix CI #40: Commit c276638 pushed by nomeata
December 12, 2023 10:15 26m 32s master
master
December 12, 2023 10:15 26m 32s
stash Nix CI #39: Commit c1631c8 pushed by nomeata
December 12, 2023 10:07 2m 49s master
master
December 12, 2023 10:07 2m 49s
chore: allow updating stage0 via workflow_dispatch Nix CI #38: Commit fa55f8f pushed by nomeata
December 12, 2023 10:06 1m 8s master
master
December 12, 2023 10:06 1m 8s
stash Nix CI #37: Commit 2b91436 pushed by nomeata
December 12, 2023 09:56 2m 29s master
master
December 12, 2023 09:56 2m 29s
stash Nix CI #36: Commit 16be550 pushed by nomeata
December 12, 2023 09:54 2m 18s master
master
December 12, 2023 09:54 2m 18s