Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: iasakura/lean-yjs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
151 workflow runs
151 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor Lean Action CI #151: Commit c5e29c4 pushed by iasakura
1m 7s main
main
1m 7s
prove nodup of local history Lean Action CI #150: Commit e281a75 pushed by iasakura
1m 11s main
main
1m 11s
prove convergence with some sorry's Lean Action CI #149: Commit d888e0a pushed by iasakura
1m 12s main
main
1m 12s
add network models Lean Action CI #148: Commit 295da19 pushed by iasakura
1m 22s main
main
1m 22s
. Lean Action CI #147: Commit 99d7af5 pushed by iasakura
1m 25s main
main
1m 25s
add a condition to a network model Lean Action CI #146: Commit b591017 pushed by iasakura
4m 31s main
main
4m 31s
update figure Lean Action CI #145: Commit 3fa2bb6 pushed by iasakura
4m 22s add-figure
add-figure
4m 22s
feat: network model Lean Action CI #144: Commit e73265c pushed by iasakura
1m 48s main
main
1m 48s
Set MIT license copyright and revert README (#7) Lean Action CI #143: Commit 1322235 pushed by iasakura
1m 14s network-model
network-model
1m 14s
Set MIT license copyright and revert README (#7) Lean Action CI #142: Commit 1322235 pushed by iasakura
1m 21s main
main
1m 21s
Update MIT license attribution Lean Action CI #141: Pull request #7 opened by iasakura
1m 14s codex/add-lake-manifest.json-for-reservoir-hosting
codex/add-lake-manifest.json-for-reservoir-hosting
1m 14s
Set MIT license copyright and revert README Lean Action CI #140: Commit 99c954e pushed by iasakura
1m 12s codex/add-lake-manifest.json-for-reservoir-hosting
codex/add-lake-manifest.json-for-reservoir-hosting
1m 12s
Add a diff test with Yjs (#6) Lean Action CI #139: Commit e23b925 pushed by iasakura
1m 39s codex/add-lake-manifest.json-for-reservoir-hosting
codex/add-lake-manifest.json-for-reservoir-hosting
1m 39s
refactor Lean Action CI #138: Commit 0919e9b pushed by iasakura
1m 27s refactor-proof
refactor-proof
1m 27s
refactor Lean Action CI #137: Commit 0652fbc pushed by iasakura
1m 45s refactor-proof
refactor-proof
1m 45s
Add a diff test with Yjs (#6) Lean Action CI #136: Commit e23b925 pushed by iasakura
3m 56s main
main
3m 56s
Add a diff test with Yjs Lean Action CI #135: Pull request #6 synchronize by iasakura
1m 37s add-diff-test
add-diff-test
1m 37s
add pbt Lean Action CI #134: Commit f4f1e07 pushed by iasakura
1m 14s add-diff-test
add-diff-test
1m 14s
Add a diff test with Yjs Lean Action CI #133: Pull request #6 synchronize by iasakura
1m 14s add-diff-test
add-diff-test
1m 14s
fix Lean Action CI #132: Commit 7d1f8c9 pushed by iasakura
1m 17s add-diff-test
add-diff-test
1m 17s
Add a diff test with Yjs Lean Action CI #131: Pull request #6 opened by iasakura
1m 26s add-diff-test
add-diff-test
1m 26s
refactor: remove useless parameter of YjsLt (#3) Lean Action CI #130: Commit 45c5a61 pushed by iasakura
1m 18s main
main
1m 18s
Add a diff test with Yjs Lean Action CI #129: Commit 3fc4c12 pushed by iasakura
1m 25s add-diff-test
add-diff-test
1m 25s
Add a diff test with Yjs Lean Action CI #128: Commit 3fc4c12 pushed by iasakura
1m 25s main
main
1m 25s
wip Lean Action CI #127: Commit 7849e26 pushed by iasakura
2m 50s tactic-for-itemset-in
tactic-for-itemset-in
2m 50s