Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
443 workflow runs
443 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: ensure Rollup reacts to changes in lean4-infoview-api (#737) vscode-lean4 build #3079: Commit 9a7ed4a pushed by Vtec234
5m 51s master
master
5m 51s
fix: guard against lean language id vscode-lean4 build #3078: Pull request #738 opened by mhuisi
6m 42s mhuisi:push-opsqytlkuktl
mhuisi:push-opsqytlkuktl
6m 42s
chore: ensure Rollup reacts to changes in lean4-infoview-api vscode-lean4 build #3077: Pull request #737 synchronize by Vtec234
6m 18s Vtec234:rollup-watch
Vtec234:rollup-watch
6m 18s
chore: ensure Rollup reacts to changes in lean4-infoview-api vscode-lean4 build #3076: Pull request #737 opened by Vtec234
6m 17s Vtec234:rollup-watch
Vtec234:rollup-watch
6m 17s
vscode-lean4 build vscode-lean4 build #3075: Manually run by mhuisi
1m 33s master
master
1m 33s
chore: bump @leanprover/unicode-input-component to 0.2.0 (#736) vscode-lean4 build #3074: Commit a9abc9e pushed by mhuisi
6m 7s master
master
6m 7s
Bump package version Bump package version #6: Manually run by mhuisi
20s master
master
20s
fix: (critical) prevent xss in unicode input component (#735) vscode-lean4 build #3073: Commit ec5f13f pushed by mhuisi
5m 58s master
master
5m 58s
fix: (critical) prevent xss in unicode input component vscode-lean4 build #3072: Pull request #735 opened by mhuisi
7m 3s mhuisi:push-kmmqmtzvxyyo
mhuisi:push-kmmqmtzvxyyo
7m 3s
chore: enable infoview debugging (#732) vscode-lean4 build #3071: Commit a884fa0 pushed by Vtec234
6m 36s master
master
6m 36s
chore: enable infoview debugging vscode-lean4 build #3070: Pull request #732 synchronize by Vtec234
6m 0s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
6m 0s
chore: enable infoview debugging vscode-lean4 build #3069: Pull request #732 synchronize by Vtec234
7m 53s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
7m 53s
chore: enable infoview debugging vscode-lean4 build #3068: Pull request #732 synchronize by Vtec234
6m 59s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
6m 59s
chore: enable infoview debugging vscode-lean4 build #3067: Pull request #732 synchronize by Vtec234
6m 2s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
6m 2s
chore: enable infoview debugging vscode-lean4 build #3066: Pull request #732 synchronize by Vtec234
6m 16s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
6m 16s
chore: enable infoview debugging vscode-lean4 build #3065: Pull request #732 synchronize by Vtec234
6m 6s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
6m 6s
chore: enable infoview debugging vscode-lean4 build #3064: Pull request #732 synchronize by Vtec234
1m 39s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
1m 39s
chore: fix husky warning (#733) vscode-lean4 build #3063: Commit 705168a pushed by mhuisi
6m 13s master
master
6m 13s
chore: fix husky warning vscode-lean4 build #3062: Pull request #733 opened by mhuisi
6m 59s mhuisi:push-mrnmpoloxwpu
mhuisi:push-mrnmpoloxwpu
6m 59s
chore: enable infoview debugging vscode-lean4 build #3061: Pull request #732 synchronize by mhuisi
7m 18s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
7m 18s
chore: enable infoview debugging vscode-lean4 build #3060: Pull request #732 opened by mhuisi
7m 47s mhuisi:push-oyonpynvpovm
mhuisi:push-oyonpynvpovm
7m 47s
vscode-lean4 build vscode-lean4 build #3059: Manually run by mhuisi
1m 36s master
master
1m 36s
chore: consolidate workflows (#731) vscode-lean4 build #3058: Commit 588356a pushed by mhuisi
6m 17s master
master
6m 17s
chore: consolidate workflows vscode-lean4 build #3057: Pull request #731 opened by mhuisi
7m 25s mhuisi:push-mkpkmqrvqmru
mhuisi:push-mkpkmqrvqmru
7m 25s
Publish NPM packages Publish NPM packages #1: Manually run by mhuisi
1m 30s master
master
1m 30s