Skip to content

Actions: lf-lang/lf-lang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
345 workflow runs
345 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #188 from lf-lang/slider-adjustments Deploy to GitHub Pages #33: Commit 63a6cc8 pushed by lhstrh
December 17, 2023 05:26 1m 38s main
main
December 17, 2023 05:26 1m 38s
Merge pull request #208 from axmmisaka/responsive-slider Deploy to GitHub Pages #32: Commit 3d4ff62 pushed by lhstrh
December 17, 2023 05:23 1m 48s main
main
December 17, 2023 05:23 1m 48s
Merge pull request #205 from axmmisaka/contextualsearch Deploy to GitHub Pages #31: Commit cdd1d05 pushed by lhstrh
December 16, 2023 17:44 1m 48s main
main
December 16, 2023 17:44 1m 48s
Docs for our new website Deploy to GitHub Pages #30: Pull request #209 opened by axmmisaka
December 16, 2023 09:14 1m 28s axmmisaka:website-docs
axmmisaka:website-docs
December 16, 2023 09:14 1m 28s
Make slider more responsive and fix button layout Deploy to GitHub Pages #29: Pull request #208 opened by axmmisaka
December 16, 2023 09:13 1m 24s axmmisaka:responsive-slider
axmmisaka:responsive-slider
December 16, 2023 09:13 1m 24s
Add prettier CI and run MD/MDX files through Prettier Deploy to GitHub Pages #28: Pull request #207 opened by axmmisaka
December 16, 2023 09:09 1m 9s axmmisaka:prettier
axmmisaka:prettier
December 16, 2023 09:09 1m 9s
Show colored logo on hovering, and remove unused static assets Deploy to GitHub Pages #27: Pull request #206 opened by axmmisaka
December 16, 2023 09:08 1m 27s axmmisaka:fancy-logo-hover
axmmisaka:fancy-logo-hover
December 16, 2023 09:08 1m 27s
Re-enable contextual search Deploy to GitHub Pages #26: Pull request #205 opened by axmmisaka
December 16, 2023 09:03 1m 28s axmmisaka:contextualsearch
axmmisaka:contextualsearch
December 16, 2023 09:03 1m 28s
Remove period from title (#203) Deploy to GitHub Pages #25: Commit e49d74b pushed by axmmisaka
December 16, 2023 07:57 1m 38s main
main
December 16, 2023 07:57 1m 38s
Remove period from title Deploy to GitHub Pages #24: Pull request #203 opened by lhstrh
December 16, 2023 06:48 1m 28s no-period
no-period
December 16, 2023 06:48 1m 28s
Merge pull request #201 from lf-lang/changes-to-installation-section Deploy to GitHub Pages #23: Commit 2b7c4fb pushed by lhstrh
December 16, 2023 05:52 1m 45s main
main
December 16, 2023 05:52 1m 45s
Add Nixos to Install Section Deploy to GitHub Pages #22: Pull request #201 synchronize by lhstrh
December 16, 2023 05:31 1m 29s changes-to-installation-section
changes-to-installation-section
December 16, 2023 05:31 1m 29s
Restructuring Installation Section Deploy to GitHub Pages #21: Pull request #202 synchronize by tanneberger
December 16, 2023 01:26 2m 57s lfc-first-epoch-second
lfc-first-epoch-second
December 16, 2023 01:26 2m 57s
Restructuring Installation Section Deploy to GitHub Pages #20: Pull request #202 opened by tanneberger
December 16, 2023 01:25 1m 23s lfc-first-epoch-second
lfc-first-epoch-second
December 16, 2023 01:25 1m 23s
Add Nixos to Install Section Deploy to GitHub Pages #19: Pull request #201 synchronize by tanneberger
December 16, 2023 01:19 1m 22s changes-to-installation-section
changes-to-installation-section
December 16, 2023 01:19 1m 22s
Add Nixos to Install Section Deploy to GitHub Pages #18: Pull request #201 synchronize by tanneberger
December 16, 2023 01:15 1m 24s changes-to-installation-section
changes-to-installation-section
December 16, 2023 01:15 1m 24s
Temporarily disable contextualSearch in order to fix search Deploy to GitHub Pages #17: Commit a0e3839 pushed by lhstrh
December 15, 2023 22:33 1m 44s main
main
December 15, 2023 22:33 1m 44s
Merge pull request #200 from axmmisaka/fix-intro-links Deploy to GitHub Pages #16: Commit 54340d0 pushed by lhstrh
December 15, 2023 22:32 1m 44s main
main
December 15, 2023 22:32 1m 44s
Add Nixos to Install Section Deploy to GitHub Pages #15: Pull request #201 opened by tanneberger
December 15, 2023 22:29 1m 20s changes-to-installation-section
changes-to-installation-section
December 15, 2023 22:29 1m 20s
Link to Introduction markdown, not URL Deploy to GitHub Pages #14: Pull request #200 opened by axmmisaka
December 15, 2023 21:53 1m 21s axmmisaka:fix-intro-links
axmmisaka:fix-intro-links
December 15, 2023 21:53 1m 21s
Merge pull request #194 from lf-lang/throw-on-broken-link Deploy to GitHub Pages #13: Commit d4c9068 pushed by lhstrh
December 15, 2023 21:27 1m 18s main
main
December 15, 2023 21:27 1m 18s
Update docusaurus.config.ts Deploy to GitHub Pages #12: Commit 2aae2b6 pushed by lhstrh
December 15, 2023 07:31 1m 40s main
main
December 15, 2023 07:31 1m 40s
Merge pull request #193 from lf-lang/docs-langing-page Deploy to GitHub Pages #11: Commit b335673 pushed by lhstrh
December 15, 2023 01:13 1m 48s main
main
December 15, 2023 01:13 1m 48s
Throw, not warn, on broken links Deploy to GitHub Pages #10: Pull request #194 opened by axmmisaka
December 14, 2023 23:02 1m 27s throw-on-broken-link
throw-on-broken-link
December 14, 2023 23:02 1m 27s
Make "introduction" route to "/docs" to prevent algolia not able to crawl Deploy to GitHub Pages #9: Pull request #193 opened by axmmisaka
December 14, 2023 22:58 1m 25s docs-langing-page
docs-langing-page
December 14, 2023 22:58 1m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-12-14 or the other filters available.