Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow runs
166 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
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
ci CI #76: Pull request #107 opened by joneugster
11m 59s feat/dark-mode
feat/dark-mode
11m 59s
ci CI #75: Pull request #91 synchronize by joneugster
11m 58s nileshtrivedi:main
nileshtrivedi:main
11m 58s
ci CI #74: Pull request #54 synchronize by nomeata
19m 59s leanprover:nixos
leanprover:nixos
19m 59s
ci CI #73: Pull request #91 synchronize by nileshtrivedi
5m 14s nileshtrivedi:main
nileshtrivedi:main
5m 14s
ci CI #72: Commit 0e7501a pushed by joneugster
11m 55s main
main
11m 55s
ci CI #71: Pull request #106 opened by joneugster
9m 44s chore/cleanup-atom-structure
chore/cleanup-atom-structure
9m 44s
ci CI #70: Commit 0ac2ce5 pushed by joneugster
9m 53s main
main
9m 53s
ci CI #69: Commit 319b3ac pushed by joneugster
3m 37s main
main
3m 37s
ci CI #68: Pull request #105 opened by joneugster
9m 33s chore/npm-audit
chore/npm-audit
9m 33s
ci CI #67: Commit a90843e pushed by joneugster
9m 56s main
main
9m 56s
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #66: 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 #65: Pull request #91 synchronize by nileshtrivedi
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
ci CI #64: Pull request #104 synchronize by joneugster
11m 53s fix/url-import
fix/url-import
11m 53s