Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #101: Pull request #91 synchronize by joneugster
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #100: Pull request #91 synchronize by joneugster
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
ci CI #99: Pull request #91 synchronize by joneugster
10m 45s nileshtrivedi:main
nileshtrivedi:main
10m 45s
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #98: Pull request #91 synchronize by nileshtrivedi
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #97: Pull request #91 synchronize by nileshtrivedi
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #96: Pull request #91 synchronize by nileshtrivedi
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #95: Pull request #91 synchronize by nileshtrivedi
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
ci CI #94: Commit 7c18289 pushed by joneugster
17m 47s main
main
17m 47s
ci CI #93: Commit 5236151 pushed by joneugster
19m 43s main
main
19m 43s
ci CI #92: Pull request #111 synchronize by joneugster
16m 10s feat/add-test-for-109
feat/add-test-for-109
16m 10s
ci CI #91: Pull request #111 opened by joneugster
2m 5s feat/add-test-for-109
feat/add-test-for-109
2m 5s
ci CI #90: Commit 5143c4d pushed by joneugster
19m 48s main
main
19m 48s
ci CI #89: Pull request #110 opened by jcreedcmu
11m 59s jcreedcmu:jcreed/urlencode
jcreedcmu:jcreed/urlencode
11m 59s
ci CI #88: Pull request #91 synchronize by joneugster
14m 37s nileshtrivedi:main
nileshtrivedi:main
14m 37s
ci CI #87: Pull request #91 synchronize by joneugster
13m 31s nileshtrivedi:main
nileshtrivedi:main
13m 31s
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #86: Pull request #91 synchronize by joneugster
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #85: Pull request #91 synchronize by joneugster
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #84: Pull request #91 synchronize by joneugster
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #83: Pull request #91 synchronize by joneugster
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #82: Pull request #91 synchronize by joneugster
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
ci CI #81: Commit 50088e3 pushed by joneugster
10m 31s main
main
10m 31s
ci CI #80: Commit f1af4f4 pushed by joneugster
52s main
main
52s
ci CI #79: Pull request #88 synchronize by joneugster
12m 28s chore/cleanup
chore/cleanup
12m 28s
ci CI #78: Pull request #88 synchronize by joneugster
8m 29s chore/cleanup
chore/cleanup
8m 29s
ci CI #77: Pull request #107 synchronize by joneugster
8m 3s feat/dark-mode
feat/dark-mode
8m 3s