vscode-lean4 build · Workflow runs · reaslab/lean4-infoview · GitHub

Actions

vscode-lean4 build

Actions

Loading...
Loading

8 workflow runs

8 workflow runs

*: tooltips zIndex vscode-lean4 build #8: Commit 1171090 pushed by SayaOvO

3m 25s sync

sync

3m 25s

fix: upstream key prop bug vscode-lean4 build #7: Commit 5b0fe7a pushed by SayaOvO

3m 23s sync

sync

3m 23s

hack: local tachyons.css vscode-lean4 build #6: Commit cd65261 pushed by SayaOvO

3m 5s sync

sync

3m 5s

hack: debug wip vscode-lean4 build #5: Commit 595cb59 pushed by alissa-tung

2m 12s master

master

2m 12s

hack: no build vscode-lean4 build #4: Commit b718d64 pushed by alissa-tung

1m 18s master

master

1m 18s

fix vscode-lean4 build #3: Commit 1c7a1c4 pushed by SayaOvO

3m 30s sync

sync

3m 30s

*: fix vscode-lean4 build #2: Commit c3d8ecf pushed by SayaOvO

5m 10s sync

sync

5m 10s

*: fix vscode-lean4 build #1: Commit c3d8ecf pushed by SayaOvO

3m 11s sync

sync

3m 11s