Skip to content

Actions: leanprover-community/ProofWidgets4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
fix: improve the delaborators for ProofWidgets.Html (#53) ci #146: Commit 7c346d2 pushed by Vtec234
April 27, 2024 05:13 6h 0m 23s main
main
April 27, 2024 05:13 6h 0m 23s
fix: improve the delaborators for ProofWidgets.Html ci #145: Pull request #53 synchronize by Vtec234
April 27, 2024 05:12 6h 0m 25s eric-wieser:fix-delab
eric-wieser:fix-delab
April 27, 2024 05:12 6h 0m 25s
fix: improve the delaborators for ProofWidgets.Html ci #144: Pull request #53 synchronize by Vtec234
April 27, 2024 02:51 6h 0m 25s eric-wieser:fix-delab
eric-wieser:fix-delab
April 27, 2024 02:51 6h 0m 25s
feat: implement JSX ... notation ci #143: Pull request #54 synchronize by eric-wieser
April 24, 2024 23:19 6h 5m 44s eric-wieser:splat-notation
eric-wieser:splat-notation
April 24, 2024 23:19 6h 5m 44s
feat: implement JSX ... notation ci #142: Pull request #54 opened by eric-wieser
April 24, 2024 23:00 6h 3m 55s eric-wieser:splat-notation
eric-wieser:splat-notation
April 24, 2024 23:00 6h 3m 55s
fix: improve the delaborators for ProofWidgets.Html ci #141: Pull request #53 synchronize by eric-wieser
April 24, 2024 07:36 6h 0m 27s eric-wieser:fix-delab
eric-wieser:fix-delab
April 24, 2024 07:36 6h 0m 27s
fix: improve the delaborators for ProofWidgets.Html ci #140: Pull request #53 synchronize by eric-wieser
April 23, 2024 22:05 6h 0m 27s eric-wieser:fix-delab
eric-wieser:fix-delab
April 23, 2024 22:05 6h 0m 27s
fix: improve the delaborators for ProofWidgets.Html ci #139: Pull request #53 opened by eric-wieser
April 23, 2024 22:02 4m 23s eric-wieser:fix-delab
eric-wieser:fix-delab
April 23, 2024 22:02 4m 23s
chore: change the syntax node name to match the parser (#52) ci #138: Commit aa01cb7 pushed by Vtec234
April 23, 2024 19:10 6h 0m 27s main
main
April 23, 2024 19:10 6h 0m 27s
chore: change the syntax node name to match the parser ci #137: Pull request #52 opened by eric-wieser
April 23, 2024 19:02 4m 6s eric-wieser:jsxText-qualified
eric-wieser:jsxText-qualified
April 23, 2024 19:02 4m 6s
feat: title of filter button depending on state ci #136: Pull request #51 opened by JovanGerb
April 18, 2024 23:24 4m 9s JovanGerb:main
JovanGerb:main
April 18, 2024 23:24 4m 9s
feat: filterDetails component used in library rewrite (#50) ci #135: Commit cb9dbe3 pushed by Vtec234
April 18, 2024 20:23 4m 49s v0.0.33
v0.0.33
April 18, 2024 20:23 4m 49s
feat: filterDetails component used in library rewrite (#50) ci #134: Commit cb9dbe3 pushed by Vtec234
April 18, 2024 20:21 4m 8s main
main
April 18, 2024 20:21 4m 8s
feat: filterDetails component used in library rewrite ci #133: Pull request #50 synchronize by Vtec234
April 18, 2024 20:21 6h 0m 27s JovanGerb:main
JovanGerb:main
April 18, 2024 20:21 6h 0m 27s
feat: filterDetails component used in library rewrite ci #132: Pull request #50 synchronize by Vtec234
April 18, 2024 20:06 6h 0m 26s JovanGerb:main
JovanGerb:main
April 18, 2024 20:06 6h 0m 26s
fix: link ci #130: Commit 209d033 pushed by Vtec234
April 5, 2024 23:35 6h 0m 26s main
main
April 5, 2024 23:35 6h 0m 26s
chore: bump toolchain to v4.7.0 ci #129: Commit 7d64898 pushed by david-christiansen
April 3, 2024 09:25 6h 0m 27s v0.0.32
v0.0.32
April 3, 2024 09:25 6h 0m 27s
chore: bump toolchain to v4.7.0 ci #128: Commit 7d64898 pushed by david-christiansen
April 3, 2024 09:23 6h 0m 29s main
main
April 3, 2024 09:23 6h 0m 29s
chore: bump toolchain to v4.7.0 ci #127: Pull request #49 synchronize by david-christiansen
April 3, 2024 08:58 6h 0m 29s david-christiansen:toolchain-4.7.0
david-christiansen:toolchain-4.7.0
April 3, 2024 08:58 6h 0m 29s
Merge pull request #48 from leanprover-community/avoid_string_name_co… ci #124: Commit 4be5bfc pushed by semorrison
March 21, 2024 00:53 6h 0m 30s v0.0.31
v0.0.31
March 21, 2024 00:53 6h 0m 30s
Merge pull request #48 from leanprover-community/avoid_string_name_co… ci #123: Commit 4be5bfc pushed by semorrison
March 21, 2024 00:52 6h 0m 26s main
main
March 21, 2024 00:52 6h 0m 26s
chore: don't use String->Name coercion, which may be removed ci #122: Pull request #48 opened by semorrison
March 21, 2024 00:46 6h 0m 25s avoid_string_name_coercion
avoid_string_name_coercion
March 21, 2024 00:46 6h 0m 25s
chore: don't use String->Name coercion, which may be removed ci #121: Commit 1f7c975 pushed by semorrison
March 21, 2024 00:46 6h 0m 23s avoid_string_name_coercion
avoid_string_name_coercion
March 21, 2024 00:46 6h 0m 23s
Update RELEASES.md ci #120: Commit e20eeef pushed by Vtec234
March 5, 2024 21:10 6h 0m 31s main
main
March 5, 2024 21:10 6h 0m 31s
Update RELEASES.md ci #119: Commit cbe3eeb pushed by Vtec234
March 5, 2024 09:13 6h 0m 27s main
main
March 5, 2024 09:13 6h 0m 27s