Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 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 #74: Pull request #54 synchronize by nomeata
19m 59s leanprover:nixos
leanprover:nixos
19m 59s
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #73: Pull request #91 synchronize by nileshtrivedi
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
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
ci CI #63: Pull request #104 opened by joneugster
9m 52s fix/url-import
fix/url-import
9m 52s
ci CI #62: Commit f8cd06f pushed by joneugster
9m 49s main
main
9m 49s
ci CI #61: Commit deb1337 pushed by joneugster
3m 14s main
main
3m 14s
ci CI #60: Pull request #103 opened by joneugster
9m 40s joneugster-patch-2
joneugster-patch-2
9m 40s
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #59: Pull request #91 synchronize by nileshtrivedi
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
ci CI #58: Pull request #54 synchronize by nomeata
10m 30s leanprover:nixos
leanprover:nixos
10m 30s
ci CI #57: Pull request #54 synchronize by nomeata
12m 58s leanprover:nixos
leanprover:nixos
12m 58s
ci CI #56: Commit 03e42ed pushed by joneugster
16m 47s main
main
16m 47s
ci CI #55: Commit baecd9c pushed by joneugster
1m 20s main
main
1m 20s
ci CI #54: Pull request #102 opened by joneugster
12m 36s chore/bump-lean4monace
chore/bump-lean4monace
12m 36s
ci CI #53: Commit e458c48 pushed by joneugster
28m 45s main
main
28m 45s
ci CI #52: Commit 34e8c3e pushed by joneugster
29s main
main
29s
ci CI #51: Pull request #101 synchronize by joneugster
18m 18s feat/css-tweaks
feat/css-tweaks
18m 18s
ci CI #50: Pull request #101 opened by joneugster
1m 24s feat/css-tweaks
feat/css-tweaks
1m 24s