Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
480 workflow runs
480 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: remove abbreviations linted in mathlib (#764) vscode-lean4 build #3179: Commit f97799f pushed by mhuisi
7m 5s master
master
7m 5s
chore: remove abbreviations linted in mathlib Backport #2: Pull request #764 closed by mhuisi
Skipped
Skipped
chore: backport action (#765) vscode-lean4 build #3178: Commit 99a5705 pushed by mhuisi
6m 4s master
master
6m 4s
chore: backport action Backport #1: Pull request #765 closed by mhuisi
1s
1s
test: stabilize flaky restart test by waiting for fresh client (#766) vscode-lean4 build #3177: Commit b883b0b pushed by mhuisi
5m 59s master
master
5m 59s
test: stabilize flaky restart test by waiting for fresh client vscode-lean4 build #3176: Pull request #766 opened by mhuisi
6m 48s mhuisi:push-mprmlqltnrvx
mhuisi:push-mprmlqltnrvx
6m 48s
chore: backport action vscode-lean4 build #3175: Pull request #765 synchronize by mhuisi
6m 42s mhuisi:push-rmzplykyluxz
mhuisi:push-rmzplykyluxz
6m 42s
chore: backport action vscode-lean4 build #3174: Pull request #765 opened by mhuisi
5m 39s mhuisi:push-rmzplykyluxz
mhuisi:push-rmzplykyluxz
5m 39s
feat: client-side support for incremental diagnostics vscode-lean4 build #3173: Pull request #752 synchronize by mhuisi
6m 55s mhuisi:push-lknxxwnmvuto
mhuisi:push-lknxxwnmvuto
6m 55s
feat: client-side support for incremental diagnostics vscode-lean4 build #3172: Pull request #752 synchronize by mhuisi
5m 48s mhuisi:push-lknxxwnmvuto
mhuisi:push-lknxxwnmvuto
5m 48s
chore: remove abbreviations linted in mathlib vscode-lean4 build #3171: Pull request #764 opened by mhuisi
6m 4s mhuisi:push-urrkoslnwtsv
mhuisi:push-urrkoslnwtsv
6m 4s
feat: client-side support for incremental diagnostics vscode-lean4 build #3170: Pull request #752 synchronize by mhuisi
5m 59s mhuisi:push-lknxxwnmvuto
mhuisi:push-lknxxwnmvuto
5m 59s
refactor: clean up semver handling (#761) vscode-lean4 build #3169: Commit 988871a pushed by mhuisi
6m 22s master
master
6m 22s
Release 0.0.234 vscode-lean4 build #3168: Commit 6652840 pushed by mhuisi
6m 17s v0.0.234
v0.0.234
6m 17s
Release 0.0.234 vscode-lean4 build #3167: Commit 6652840 pushed by mhuisi
5m 42s master
master
5m 42s
vscode-lean4 build vscode-lean4 build #3166: Manually run by mhuisi
19s master
master
19s
chore: rename build-and-test jobs (#763) vscode-lean4 build #3165: Commit e150518 pushed by mhuisi
5m 43s master
master
5m 43s
chore: rename build-and-test jobs vscode-lean4 build #3164: Pull request #763 opened by mhuisi
6m 26s mhuisi:push-snnxkkmrvpok
mhuisi:push-snnxkkmrvpok
6m 26s
chore: publish to marketplaces independently and handle partial failu… vscode-lean4 build #3163: Commit 9403ce0 pushed by mhuisi
5m 56s master
master
5m 56s
refactor: clean up semver handling vscode-lean4 build #3162: Pull request #761 synchronize by mhuisi
6m 25s mhuisi:push-wqrouzuvtlly
mhuisi:push-wqrouzuvtlly
6m 25s
feat: picker-based input method for abbreviations in non-editor contexts vscode-lean4 build #3161: Pull request #762 opened by mhuisi
6m 13s mhuisi:push-upmprtpksvuu
mhuisi:push-upmprtpksvuu
6m 13s
refactor: clean up semver handling vscode-lean4 build #3160: Pull request #761 opened by mhuisi
6m 9s mhuisi:push-wqrouzuvtlly
mhuisi:push-wqrouzuvtlly
6m 9s
fix: unicode file paths displayed as URI-encoded in the infoview vscode-lean4 build #3159: Pull request #760 opened by kuotsanhsu
Action required kuotsanhsu:master
kuotsanhsu:master
Action required
chore: publish to marketplaces independently and handle partial failures vscode-lean4 build #3158: Pull request #758 synchronize by mhuisi
6m 31s mhuisi:push-oszltqkszyvr
mhuisi:push-oszltqkszyvr
6m 31s
chore: publish to marketplaces independently and handle partial failures vscode-lean4 build #3157: Pull request #758 opened by mhuisi
5m 56s mhuisi:push-oszltqkszyvr
mhuisi:push-oszltqkszyvr
5m 56s