Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 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 #208: Commit e37cb8a pushed by kim-em
15m 20s main
main
15m 20s
ci CI #207: Pull request #153 opened by kim-em
13m 51s pin-actions-to-sha
pin-actions-to-sha
13m 51s
ci CI #206: Commit 27e9590 pushed by joneugster
11m 34s main
main
11m 34s
ci CI #205: Pull request #152 opened by joneugster
11m 51s fix/mathlib-example-imports
fix/mathlib-example-imports
11m 51s
ci CI #204: Commit 6c717e0 pushed by joneugster
1m 46s main
main
1m 46s
ci CI #203: Pull request #151 opened by joneugster
18m 14s fix/mathlib-example-imports
fix/mathlib-example-imports
18m 14s
ci CI #202: Pull request #150 synchronize by joneugster
13m 40s feat/collab-unique-colours
feat/collab-unique-colours
13m 40s
ci CI #201: Pull request #150 synchronize by joneugster
18m 50s feat/collab-unique-colours
feat/collab-unique-colours
18m 50s
ci CI #200: Pull request #150 synchronize by joneugster
10m 41s feat/collab-unique-colours
feat/collab-unique-colours
10m 41s
ci CI #199: Commit f7a0456 pushed by joneugster
15m 3s main
main
15m 3s
ci CI #198: Pull request #140 synchronize by joneugster
11m 55s workaround/large-completion-results
workaround/large-completion-results
11m 55s
ci CI #197: Pull request #142 synchronize by jyoo980
11m 30s jyoo980:add-vim-bindings
jyoo980:add-vim-bindings
11m 30s
ci CI #196: Commit 4b62dfa pushed by joneugster
15m 53s main
main
15m 53s
ci CI #195: Pull request #140 synchronize by joneugster
17m 7s workaround/large-completion-results
workaround/large-completion-results
17m 7s
ci CI #194: Commit 7dad79f pushed by joneugster
21m 12s main
main
21m 12s
ci CI #193: Pull request #149 synchronize by joneugster
13m 33s feat/windows-in-ci
feat/windows-in-ci
13m 33s
ci CI #192: Pull request #149 synchronize by joneugster
14m 58s feat/windows-in-ci
feat/windows-in-ci
14m 58s
ci CI #191: Pull request #149 synchronize by joneugster
3m 30s feat/windows-in-ci
feat/windows-in-ci
3m 30s
ci CI #190: Pull request #149 synchronize by joneugster
6m 35s feat/windows-in-ci
feat/windows-in-ci
6m 35s
ci CI #189: Pull request #149 opened by joneugster
40s feat/windows-in-ci
feat/windows-in-ci
40s
ci CI #188: Pull request #145 synchronize by joneugster
13m 28s chore/bump-node
chore/bump-node
13m 28s
ci CI #187: Commit b09aef7 pushed by joneugster
12m 23s main
main
12m 23s
ci CI #186: Pull request #148 synchronize by joneugster
10m 30s chore/bump-lean4monaco
chore/bump-lean4monaco
10m 30s
ci CI #185: Pull request #148 synchronize by joneugster
14m 23s chore/bump-lean4monaco
chore/bump-lean4monaco
14m 23s
ci CI #184: Pull request #148 synchronize by joneugster
8m 7s chore/bump-lean4monaco
chore/bump-lean4monaco
8m 7s