Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
156 workflow runs
156 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 #33: Pull request #95 synchronize by joneugster
2m 2s feat/project-setup
feat/project-setup
2m 2s
ci CI #32: Pull request #95 synchronize by joneugster
10m 39s feat/project-setup
feat/project-setup
10m 39s
ci CI #31: Pull request #95 synchronize by joneugster
10m 9s feat/project-setup
feat/project-setup
10m 9s
ci CI #30: Pull request #95 synchronize by joneugster
1m 36s feat/project-setup
feat/project-setup
1m 36s
ci CI #29: Pull request #95 synchronize by joneugster
1m 45s feat/project-setup
feat/project-setup
1m 45s
ci CI #28: Pull request #95 synchronize by joneugster
1m 18s feat/project-setup
feat/project-setup
1m 18s
ci CI #27: Pull request #95 opened by joneugster
2m 33s feat/project-setup
feat/project-setup
2m 33s
ci CI #26: Pull request #88 synchronize by joneugster
16m 9s chore/cleanup
chore/cleanup
16m 9s
ci CI #25: Pull request #87 synchronize by joneugster
10m 5s joneugster-patch-1
joneugster-patch-1
10m 5s
ci CI #24: Commit c89e688 pushed by joneugster
10m 16s main
main
10m 16s
ci CI #23: Pull request #94 synchronize by joneugster
10m 51s chore/separate-client-server
chore/separate-client-server
10m 51s
ci CI #22: Pull request #94 synchronize by joneugster
17m 31s chore/separate-client-server
chore/separate-client-server
17m 31s
ci CI #21: Pull request #94 synchronize by joneugster
17m 8s chore/separate-client-server
chore/separate-client-server
17m 8s
ci CI #20: Pull request #94 synchronize by joneugster
6m 48s chore/separate-client-server
chore/separate-client-server
6m 48s
ci CI #19: Pull request #94 synchronize by joneugster
6m 35s chore/separate-client-server
chore/separate-client-server
6m 35s
ci CI #18: Commit 9972be7 pushed by joneugster
9m 57s main
main
9m 57s
ci CI #17: Pull request #93 opened by joneugster
10m 18s joneugster-patch-2
joneugster-patch-2
10m 18s
ci CI #16: Commit 8bd3b68 pushed by joneugster
10m 30s main
main
10m 30s
ci CI #15: Pull request #92 opened by joneugster
9m 58s bump-lean4monaco
bump-lean4monaco
9m 58s
Feature: Add collaborative text editing using Yjs, y-webrtc and y-monaco CI #14: Pull request #91 opened by nileshtrivedi
Action required nileshtrivedi:main
nileshtrivedi:main
Action required
ci CI #13: Pull request #88 opened by joneugster
16m 18s chore/cleanup
chore/cleanup
16m 18s
ci CI #12: Pull request #87 opened by joneugster
27m 42s joneugster-patch-1
joneugster-patch-1
27m 42s
ci CI #11: Commit a91ae12 pushed by joneugster
23m 56s main
main
23m 56s
ci CI #10: Pull request #85 synchronize by joneugster
25m 7s chore/style-function-component
chore/style-function-component
25m 7s
ci CI #9: Pull request #86 opened by joneugster
14m 9s feat/url-params-in-jotai
feat/url-params-in-jotai
14m 9s