Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
348 workflow runs
348 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #192 from axmmisaka/enable-algolia Deploy to GitHub Pages #8: Commit 9f534a8 pushed by lhstrh
December 14, 2023 15:52 1m 41s main
main
December 14, 2023 15:52 1m 41s
Add algolia stuff Deploy to GitHub Pages #7: Pull request #192 opened by axmmisaka
December 14, 2023 09:23 1m 32s axmmisaka:enable-algolia
axmmisaka:enable-algolia
December 14, 2023 09:23 1m 32s
Slider adjustment for mobile use Deploy to GitHub Pages #6: Pull request #188 synchronize by lhstrh
December 14, 2023 08:49 1m 24s slider-adjustments
slider-adjustments
December 14, 2023 08:49 1m 24s
Slider adjustment for mobile use Deploy to GitHub Pages #5: Pull request #188 opened by lhstrh
December 14, 2023 08:42 1m 29s slider-adjustments
slider-adjustments
December 14, 2023 08:42 1m 29s
Adaptation for new Docusaurus-based website (#187) Deploy to GitHub Pages #4: Commit 388270a pushed by axmmisaka
December 14, 2023 08:29 1m 44s main
main
December 14, 2023 08:29 1m 44s
Adaptation for new Docusaurus-based website (#187) Deploy to GitHub Pages #3: Commit 8168c4c pushed by axmmisaka
December 14, 2023 08:16 1m 47s main
main
December 14, 2023 08:16 1m 47s
Adaptation for new Docusaurus-based website Deploy to GitHub Pages #2: Pull request #187 synchronize by axmmisaka
December 14, 2023 08:12 1m 29s axmmisaka:docusaurus-add-adaptation
axmmisaka:docusaurus-add-adaptation
December 14, 2023 08:12 1m 29s
Adaptation for new Docusaurus-based website Deploy to GitHub Pages #1: Pull request #187 opened by axmmisaka
December 14, 2023 08:09 1m 38s axmmisaka:docusaurus-add-adaptation
axmmisaka:docusaurus-add-adaptation
December 14, 2023 08:09 1m 38s
Fixed a typo in Preambles.md Update Website #626: Pull request #183 synchronize by mishadynin
November 22, 2023 01:55 4m 0s mishadynin:typo-fix
mishadynin:typo-fix
November 22, 2023 01:55 4m 0s
Fixed a typo in Preambles.md Update Website #625: Pull request #183 opened by mishadynin
November 21, 2023 23:44 3m 42s mishadynin:typo-fix
mishadynin:typo-fix
November 21, 2023 23:44 3m 42s
Fix typo NrfBliny -> NrfBlinky Update Website #624: Commit 32ac93e pushed by hokeun
November 21, 2023 00:47 4m 20s main
main
November 21, 2023 00:47 4m 20s
Merge pull request #182 from mishadynin/mishadynin-patch-1 Update Website #623: Commit 23d70c9 pushed by lhstrh
November 17, 2023 03:12 3m 18s main
main
November 17, 2023 03:12 3m 18s
Update Triggering.lf to fix a typo Update Website #622: Pull request #182 opened by mishadynin
November 17, 2023 02:40 3m 28s mishadynin:mishadynin-patch-1
mishadynin:mishadynin-patch-1
November 17, 2023 02:40 3m 28s
Added instructions for RP2040 support Update Website #621: Pull request #181 opened by edwardalee
November 10, 2023 01:21 2m 54s rp2040
rp2040
November 10, 2023 01:21 2m 54s
pages build and deployment pages-build-deployment #171: by github-pages bot
November 10, 2023 00:57 38s gh-pages
gh-pages
November 10, 2023 00:57 38s
pages build and deployment pages-build-deployment #170: by edwardalee
November 10, 2023 00:34 53s gh-pages
gh-pages
November 10, 2023 00:34 53s
Rewrite of Docker docs Update Website #620: Pull request #180 opened by lhstrh
November 8, 2023 05:11 6m 42s docker
docker
November 8, 2023 05:11 6m 42s
pages build and deployment pages-build-deployment #169: by github-pages bot
November 8, 2023 00:47 33s gh-pages
gh-pages
November 8, 2023 00:47 33s
Merge pull request #65 from erlingrj/fix-docker-build-section Update Website #619: Commit 1590f3b pushed by lhstrh
November 8, 2023 00:42 5m 18s main
main
November 8, 2023 00:42 5m 18s
Update info on how to run Dockerfile Update Website #618: Pull request #65 synchronize by lhstrh
November 8, 2023 00:41 3m 53s erlingrj:fix-docker-build-section
erlingrj:fix-docker-build-section
November 8, 2023 00:41 3m 53s
pages build and deployment pages-build-deployment #168: by github-pages bot
November 3, 2023 01:55 39s gh-pages
gh-pages
November 3, 2023 01:55 39s
Fixed links Update Website #617: Commit 0076af7 pushed by edwardalee
November 3, 2023 01:49 5m 46s main
main
November 3, 2023 01:49 5m 46s
pages build and deployment pages-build-deployment #167: by github-pages bot
October 31, 2023 20:26 37s gh-pages
gh-pages
October 31, 2023 20:26 37s
Merge pull request #179 from lf-lang/submodule-instructions Update Website #616: Commit 53cb113 pushed by lhstrh
October 31, 2023 20:22 4m 29s main
main
October 31, 2023 20:22 4m 29s
Added instructions for committing to submodules Update Website #615: Pull request #179 synchronize by edwardalee
October 31, 2023 20:14 5m 55s submodule-instructions
submodule-instructions
October 31, 2023 20:14 5m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.