8000 Workflow runs · joneugster/vscode-lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: joneugster/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into skip_breaking vscode-lean4 build #40: Commit 3e8bdb7 pushed by mhuisi
June 19, 2024 13:45 5m 42s skip_breaking
skip_breaking
June 19, 2024 13:45 5m 42s
Merge branch 'master' into publish-test vscode-lean4 build #39: Commit 06d5d88 pushed by mhuisi
June 19, 2024 13:33 5m 15s publish-test
publish-test
June 19, 2024 13:33 5m 15s
Release 0.0.163 vscode-lean4 build #38: Commit 79c2e39 pushed by joneugster
June 19, 2024 09:28 6m 10s master
master
June 19, 2024 09:28 6m 10s
simply fail and continue on unchanged version vscode-lean4 build #37: Commit 6e11f74 pushed by joneugster
June 3, 2024 09:37 5m 47s publish-test
publish-test
June 3, 2024 09:37 5m 47s
fix? vscode-lean4 build #36: Commit ca3cb1d pushed by joneugster
June 3, 2024 09:36 5m 44s skip_breaking
skip_breaking
June 3, 2024 09:36 5m 44s
skip breaking test on major version bump vscode-lean4 build #35: Commit e4a0653 pushed by joneugster
June 3, 2024 09:35 2m 55s publish-test
publish-test
June 3, 2024 09:35 2m 55s
fix? vscode-lean4 build #34: Commit ca3cb1d pushed by joneugster
May 31, 2024 10:27 6m 12s publish-test
publish-test
May 31, 2024 10:27 6m 12s
10000
undo version bump vscode-lean4 build #33: Commit 7e5cb9c pushed by joneugster
May 31, 2024 10:21 3m 38s publish-test
publish-test
May 31, 2024 10:21 3m 38s
refine test vscode-lean4 build #32: Commit 1043ba4 pushed by joneugster
May 31, 2024 10:20 3m 36s publish-test
publish-test
May 31, 2024 10:20 3m 36s
simply fail and continue on unchanged version vscode-lean4 build #31: Commit 6e11f74 pushed by joneugster
May 29, 2024 12:42 5m 38s publish-test
publish-test
May 29, 2024 12:42 5m 38s
only publish infoview on release vscode-lean4 build #30: Commit a59fd7a pushed by joneugster
May 29, 2024 10:23 6m 17s publish-test
publish-test
May 29, 2024 10:23 6m 17s
refine script vscode-lean4 build #29: Commit d8db183 pushed by joneugster
May 29, 2024 10:15 5m 36s publish-test
publish-test
May 29, 2024 10:15 5m 36s
npm ci vscode-lean4 build #28: Commit 14b6d06 pushed by joneugster
May 29, 2024 10:00 5m 36s publish-test
publish-test
May 29, 2024 10:00 5m 36s
cleanup vscode-lean4 build #27: Commit c87f6ac pushed by joneugster
May 29, 2024 09:58 6m 0s publish-test
publish-test
May 29, 2024 09:58 6m 0s
fix vscode-lean4 build #26: Commit 6dd64b8 pushed by joneugster
May 29, 2024 09:54 5m 51s publish-test
publish-test
May 29, 2024 09:54 5m 51s
testing automated publishing logic vscode-lean4 build #25: Commit 3257649 pushed by joneugster
May 29, 2024 09:40 1s publish-test
publish-test
May 29, 2024 09:40 1s
fix vscode-lean4 build #24: Commit 7e8a740 pushed 8000 by joneugster
May 29, 2024 09:13 5m 46s publish-test
publish-test
May 29, 2024 09:13 5m 46s
use @latest vscode-lean4 build #23: Commit bd2978d pushed by joneugster
May 29, 2024 09:12 6m 20s publish-test
publish-test
May 29, 2024 09:12 6m 20s
cleanup vscode-lean4 build #22: Commit 367fb4b pushed by joneugster
May 27, 2024 15:33 5m 50s publish-test
publish-test
May 27, 2024 15:33 5m 50s
cleanup vscode-lean4 build #21: Commit bc94356 pushed by joneugster
May 27, 2024 15:32 5m 54s publish-test
publish-test
May 27, 2024 15:32 5m 54s
undo test modifications vscode-lean4 build #20: Commit cb26800 pushed by joneugster
May 27, 2024 15:27 1m 56s publish-test
publish-test
May 27, 2024 15:27 1m 56s
api test vscode-lean4 build #19: Commit 54faeb2 pushed by joneugster
May 27, 2024 15:22 1m 0s publish-test
publish-test
May 27, 2024 15:22 1m 0s
test vscode-lean4 build #18: Commit cab7c4e pushed by joneugster
May 27, 2024 14:53 1m 3s publish-test
publish-test
May 27, 2024 14:53 1m 3s
test for api vscode-lean4 build #17: Commit 56c6bde pushed by joneugster
May 27, 2024 14:49 12s publish-test
publish-test
May 27, 2024 14:49 12s
test vscode-lean4 build #16: Commit 08f5b85 pushed by joneugster
May 27, 2024 14:48 1m 46s publish-test
publish-test
May 27, 2024 14:48 1m 46s
0