Skip to content

Actions: leanprover/lean-workbench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
642 workflow runs
642 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
feat: let ordinary users watch tracked commands (#137) Tests #628: Commit 7239ee5 pushed by jcreedcmu
8m 50s main
main
8m 50s
fix: react aria avatar dropdown Tests #627: Pull request #136 synchronize by robsimmons
9m 7s react-aria-popover
react-aria-popover
9m 7s
feat: let ordinary users watch tracked commands Tests #626: Pull request #137 synchronize by jcreedcmu
8m 46s jcreed/verso-pub-1
jcreed/verso-pub-1
8m 46s
couple of small fixes Tests #625: Pull request #138 opened by robsimmons
8m 53s push-nnpwtuvwkymn
push-nnpwtuvwkymn
8m 53s
feat: let ordinary users watch tracked commands Tests #624: Pull request #137 opened by jcreedcmu
7m 15s jcreed/verso-pub-1
jcreed/verso-pub-1
7m 15s
feat: redirect to profile page on login Tests #623: Pull request #131 synchronize by robsimmons
7m 0s profile-redirect
profile-redirect
7m 0s
fix: react aria avatar dropdown Tests #622: Pull request #136 opened by robsimmons
8m 0s react-aria-popover
react-aria-popover
8m 0s
fix: radix-ui avatar dropdown Tests #621: Pull request #135 opened by robsimmons
8m 51s radix-avatar
radix-avatar
8m 51s
fix: deleted(?) projects break the admin interface (#134) Release #14: Commit 4823998 pushed by robsimmons
25m 6s v0.0.13
v0.0.13
25m 6s
fix: deleted(?) projects break the admin interface (#134) Tests #620: Commit 4823998 pushed by robsimmons
10m 4s main
main
10m 4s
fix: deleted(?) projects break the admin interface Tests #619: Pull request #134 opened by robsimmons
7m 49s push-nyswtunvpwyy
push-nyswtunvpwyy
7m 49s
feat: emphasize oauth flow and recreate instructions (#123) Tests #618: Commit 42b35f5 pushed by robsimmons
10m 5s main
main
10m 5s
doc: update sbx safelist (#133) Tests #617: Commit 6deac94 pushed by robsimmons
9m 48s main
main
9m 48s
doc: update sbx safelist Tests #616: Pull request #133 opened by robsimmons
7m 40s push-ynpmqwkswmlr
push-ynpmqwkswmlr
7m 40s
feat: redirect to profile page on login Tests #615: Pull request #131 synchronize by robsimmons
7m 47s profile-redirect
profile-redirect
7m 47s
feat: emphasize oauth flow and recreate instructions Tests #614: Pull request #123 synchronize by robsimmons
7m 53s oauth-refresh
oauth-refresh
7m 53s
feat: friendly project words (#129) Tests #613: Commit e08481b pushed by robsimmons
25m 31s main
main
25m 31s
feat: emphasize oauth flow and recreate instructions Tests #612: Pull request #123 synchronize by robsimmons
18m 6s oauth-refresh
oauth-refresh
18m 6s
feat(admin): simplify initialization flow (#121) Tests #611: Commit 4a35c28 pushed by robsimmons
45m 6s main
main
45m 6s
feat(admin): simplify initialization flow Tests #610: Pull request #121 synchronize by robsimmons
8m 11s simplified-initialization
simplified-initialization
8m 11s
feat(admin): simplify initialization flow Tests #609: Pull request #121 synchronize by robsimmons
6m 54s simplified-initialization
simplified-initialization
6m 54s
feat: template creation in the admin menu Tests #608: Pull request #118 synchronize by robsimmons
7m 56s push-nzvyknulwqyt
push-nzvyknulwqyt
7m 56s
doc: development notes on migrations Tests #607: Pull request #120 synchronize by robsimmons
6m 35s push-szkrmuxokopz
push-szkrmuxokopz
6m 35s
feat: emphasize oauth flow and recreate instructions Tests #606: Pull request #123 synchronize by robsimmons
7m 54s oauth-refresh
oauth-refresh
7m 54s
feat: emphasize oauth flow and recreate instructions Tests #605: Pull request #123 synchronize by robsimmons
6m 40s oauth-refresh
oauth-refresh
6m 40s