Skip to content

Actions: leanprover/verso-web-components

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
174 workflow runs
174 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
build: update verso web components Lean Action CI #174: Commit b9641c1 pushed by algebraic-dev
2m 41s sofia/refactor-css-data
sofia/refactor-css-data
2m 41s
fix: copy button and modal Lean Action CI #173: Commit 58ba423 pushed by algebraic-dev
2m 48s sofia/refactor-css-data
sofia/refactor-css-data
2m 48s
chore: bump toolchain to v4.34.0-rc2 (#33) Lean Action CI #172: Commit 3094dd5 pushed by kim-em
1m 0s v4.34.0-rc2
v4.34.0-rc2
1m 0s
chore: bump toolchain to v4.34.0-rc2 (#33) Lean Action CI #171: Commit 3094dd5 pushed by kim-em
2m 22s main
main
2m 22s
chore: bump toolchain to v4.34.0-rc2 Lean Action CI #170: Pull request #33 opened by kim-em
2m 43s bump-to-v4.34.0-rc2
bump-to-v4.34.0-rc2
2m 43s
chore: bump toolchain to v4.34.0-rc2 Lean Action CI #169: Commit b899d83 pushed by kim-em
2m 15s bump-to-v4.34.0-rc2
bump-to-v4.34.0-rc2
2m 15s
feat: support Verso's static content archives Lean Action CI #168: Pull request #32 synchronize by david-christiansen
2m 19s tutorial-sync-support
tutorial-sync-support
2m 19s
fix: use the right Verso branch for the PR Lean Action CI #167: Commit ef3d02e pushed by david-christiansen
2m 28s tutorial-sync-support
tutorial-sync-support
2m 28s
feat: support Verso's static content archives Lean Action CI #166: Pull request #32 opened by david-christiansen
2m 2s tutorial-sync-support
tutorial-sync-support
2m 2s
feat: support Verso's static content archives Lean Action CI #165: Commit b5f418e pushed by david-christiansen
2m 4s tutorial-sync-support
tutorial-sync-support
2m 4s
fix: saveCss Lean Action CI #164: Commit 1d76284 pushed by algebraic-dev
2m 40s sofia/refactor-css-data
sofia/refactor-css-data
2m 40s
fix: sponsor Lean Action CI #163: Commit fd9a6fb pushed by algebraic-dev
2m 46s sofia/refactor-css-data
sofia/refactor-css-data
2m 46s
chore: bump toolchain to v4.34.0-rc1 (#31) Lean Action CI #162: Commit c271f30 pushed by Garmelon
39s v4.34.0-rc1
v4.34.0-rc1
39s
chore: bump toolchain to v4.34.0-rc1 (#31) Lean Action CI #161: Commit c271f30 pushed by Garmelon
2m 30s main
main
2m 30s
chore: bump toolchain to v4.34.0-rc1 Lean Action CI #160: Pull request #31 opened by Garmelon
2m 27s bump-to-v4.34.0-rc1
bump-to-v4.34.0-rc1
2m 27s
chore: bump toolchain to v4.34.0-rc1 Lean Action CI #159: Commit 462f31b pushed by Garmelon
2m 33s bump-to-v4.34.0-rc1
bump-to-v4.34.0-rc1
2m 33s
fix: recompile sponsors Lean Action CI #158: Commit 5bb9532 pushed by algebraic-dev
29s main
main
29s
fix: min height of sponsor Lean Action CI #157: Commit f55f451 pushed by algebraic-dev
1m 5s main
main
1m 5s
fix: sponsor logo sizes Lean Action CI #156: Commit e6f86f4 pushed by algebraic-dev
59s main
main
59s
chore: bump toolchain to v4.33.0 (#30) Lean Action CI #155: Commit c6e665d pushed by Garmelon
2m 41s v4.33.0
v4.33.0
2m 41s
chore: bump toolchain to v4.33.0 (#30) Lean Action CI #154: Commit c6e665d pushed by Garmelon
2m 28s main
main
2m 28s
chore: bump toolchain to v4.33.0 Lean Action CI #153: Pull request #30 opened by Garmelon
2m 9s bump-to-v4.33.0
bump-to-v4.33.0
2m 9s
chore: bump toolchain to v4.33.0 Lean Action CI #152: Commit 385a254 pushed by Garmelon
2m 31s bump-to-v4.33.0
bump-to-v4.33.0
2m 31s
feat: sponsors with logoDark Lean Action CI #151: Commit 26ba26a pushed by algebraic-dev
55s main
main
55s
fix: remove grid Lean Action CI #150: Commit e88f4ff pushed by algebraic-dev
53s main
main
53s