Skip to content

Actions: morph-labs/vscode-lean4-fork

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated index.html
vscode-lean4 build #7: Commit a4b13ec pushed by pranavnt
December 2, 2024 04:41 6m 21s moogle2
December 2, 2024 04:41 6m 21s
revert changes to loogleview
vscode-lean4 build #6: Commit c0d9fc4 pushed by pranavnt
December 2, 2024 04:37 6m 36s moogle2
December 2, 2024 04:37 6m 36s
merge
vscode-lean4 build #5: Commit b298b6a pushed by pranavnt
December 2, 2024 04:34 6m 18s moogle2
December 2, 2024 04:34 6m 18s
moogle 2.0 + leandocsearch
vscode-lean4 build #4: Commit b9fbe2e pushed by jesse-michael-han
November 16, 2024 05:36 5m 57s moogle2
November 16, 2024 05:36 5m 57s
2.0
vscode-lean4 build #3: Commit 0d6ff1a pushed by pranavnt
November 16, 2024 00:51 6m 20s moogle2
November 16, 2024 00:51 6m 20s
textbook links
vscode-lean4 build #2: Commit a57634f pushed by pranavnt
November 16, 2024 00:22 6m 50s moogle2
November 16, 2024 00:22 6m 50s
moogle 2.0 + leandocsearch
vscode-lean4 build #1: Commit 7f697e8 pushed by jesse-michael-han
November 16, 2024 00:01 6m 26s moogle2
November 16, 2024 00:01 6m 26s