Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
199 workflow runs
199 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 #150: Pull request #130 opened by joneugster
9m 26s feat/better-accessibility
feat/better-accessibility
9m 26s
ci CI #149: Commit 8682b47 pushed by joneugster
9m 39s main
main
9m 39s
ci CI #148: Pull request #129 opened by joneugster
12m 17s chore/format-project
chore/format-project
12m 17s
ci CI #147: Commit fb60c2c pushed by joneugster
2m 29s main
main
2m 29s
ci CI #146: Pull request #128 synchronize by joneugster
10m 6s feat/oxlint
feat/oxlint
10m 6s
ci CI #145: Pull request #128 synchronize by joneugster
10m 29s feat/oxlint
feat/oxlint
10m 29s
ci CI #144: Pull request #128 synchronize by joneugster
3m 34s feat/oxlint
feat/oxlint
3m 34s
ci CI #143: Pull request #128 synchronize by joneugster
1m 13s feat/oxlint
feat/oxlint
1m 13s
ci CI #142: Pull request #128 opened by joneugster
9m 9s feat/oxlint
feat/oxlint
9m 9s
ci CI #141: Commit 890bb9d pushed by joneugster
10m 8s main
main
10m 8s
ci CI #140: Pull request #127 opened by joneugster
11m 6s chore/lint
chore/lint
11m 6s
ci CI #139: Commit 1464046 pushed by joneugster
10m 15s main
main
10m 15s
ci CI #138: Pull request #126 opened by joneugster
9m 29s bump-dependencies
bump-dependencies
9m 29s
ci CI #137: Commit b596251 pushed by joneugster
10m 6s main
main
10m 6s
ci CI #136: Commit 5317303 pushed by joneugster
27s main
main
27s
ci CI #135: Pull request #125 synchronize by joneugster
10m 37s feat/ruler
feat/ruler
10m 37s
ci CI #134: Pull request #125 opened by joneugster
6m 10s feat/ruler
feat/ruler
6m 10s
ci CI #133: Pull request #124 opened by joneugster
10m 28s fix/restart-server
fix/restart-server
10m 28s
ci CI #132: Commit fb882e4 pushed by joneugster
15m 14s main
main
15m 14s
ci CI #131: Pull request #123 opened by joneugster
9m 38s height-bugfix-merge
height-bugfix-merge
9m 38s
ci CI #130: Commit 54f338f pushed by joneugster
10m 31s main
main
10m 31s
ci CI #129: Pull request #122 synchronize by joneugster
10m 19s config-validate-review-changes
config-validate-review-changes
10m 19s
ci CI #128: Pull request #122 synchronize by joneugster
10m 21s config-validate-review-changes
config-validate-review-changes
10m 21s
ci CI #127: Commit f9cbf2a pushed by joneugster
15m 0s main
main
15m 0s
ci CI #126: Pull request #120 opened by robsimmons
12m 25s robsimmons:height-bugfix
robsimmons:height-bugfix
12m 25s