Skip to content

Actions: WhatsApp/erlang-language-platform

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,059 workflow runs
2,059 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move salsa cancellation into Drop for Server
Build Website #63: Pull request #74 opened by the-mikedavis
January 29, 2025 19:50 1m 50s the-mikedavis:md/salsa-drop
January 29, 2025 19:50 1m 50s
pages build and deployment
pages-build-deployment #811: by github-pages bot
January 29, 2025 17:00 28s gh-pages
January 29, 2025 17:00 28s
BE: harmonise names for range_for_any / text_for_any
Deploy Website to GitHub Pages #814: Commit e000df5 pushed by facebook-github-bot
January 29, 2025 16:58 1m 50s main
January 29, 2025 16:58 1m 50s
BE: harmonise names for range_for_any / text_for_any
ELP CI #990: Commit e000df5 pushed by facebook-github-bot
January 29, 2025 16:58 1h 40m 48s main
January 29, 2025 16:58 1h 40m 48s
pages build and deployment
pages-build-deployment #810: by github-pages bot
January 29, 2025 16:41 27s gh-pages
January 29, 2025 16:41 27s
January 29, 2025 16:40 5m 25s
ssr: add functions to retrieve range and source text for a placeholder
Deploy Website to GitHub Pages #813: Commit a22fd0a pushed by facebook-github-bot
January 29, 2025 16:40 1m 51s main
January 29, 2025 16:40 1m 51s
pages build and deployment
pages-build-deployment #809: by github-pages bot
January 29, 2025 16:19 23s gh-pages
January 29, 2025 16:19 23s
Introduce function to retrieve the text for AnyExprId
ELP CI #988: Commit 68d45a0 pushed by facebook-github-bot
January 29, 2025 16:17 5m 49s main
January 29, 2025 16:17 5m 49s
Introduce function to retrieve the text for AnyExprId
Deploy Website to GitHub Pages #812: Commit 68d45a0 pushed by facebook-github-bot
January 29, 2025 16:17 1m 51s main
January 29, 2025 16:17 1m 51s
pages build and deployment
pages-build-deployment #808: by github-pages bot
January 29, 2025 14:02 25s gh-pages
January 29, 2025 14:02 25s
ssr: introduce SubId::any_expr_id()
Deploy Website to GitHub Pages #811: Commit d3e6342 pushed by facebook-github-bot
January 29, 2025 13:59 2m 28s main
January 29, 2025 13:59 2m 28s
ssr: introduce SubId::any_expr_id()
ELP CI #987: Commit d3e6342 pushed by facebook-github-bot
January 29, 2025 13:59 1h 51m 18s main
January 29, 2025 13:59 1h 51m 18s
pages build and deployment
pages-build-deployment #807: by github-pages bot
January 29, 2025 09:46 23s gh-pages
January 29, 2025 09:46 23s
BE: include the ExprId and PatId when tree printing an HIR tree
ELP CI #986: Commit 2c22b14 pushed by facebook-github-bot
January 29, 2025 09:44 1h 39m 9s main
January 29, 2025 09:44 1h 39m 9s
BE: include the ExprId and PatId when tree printing an HIR tree
Deploy Website to GitHub Pages #810: Commit 2c22b14 pushed by facebook-github-bot
January 29, 2025 09:44 1m 51s main
January 29, 2025 09:44 1m 51s
pages build and deployment
pages-build-deployment #806: by github-pages bot
January 28, 2025 16:23 23s gh-pages
January 28, 2025 16:23 23s
Allow custom app data in .elp.toml
ELP CI #985: Commit ce98bb9 pushed by facebook-github-bot
January 28, 2025 16:22 1h 33m 28s main
January 28, 2025 16:22 1h 33m 28s
Allow custom app data in .elp.toml
Deploy Website to GitHub Pages #809: Commit ce98bb9 pushed by facebook-github-bot
January 28, 2025 16:22 1m 53s main
January 28, 2025 16:22 1m 53s
pages build and deployment
pages-build-deployment #805: by github-pages bot
January 28, 2025 15:41 25s gh-pages
January 28, 2025 15:41 25s
migrating wid_tuple erlint diagnostic
ELP CI #984: Commit 0c1c8ca pushed by facebook-github-bot
January 28, 2025 15:39 1h 43m 7s main
January 28, 2025 15:39 1h 43m 7s
migrating wid_tuple erlint diagnostic
Deploy Website to GitHub Pages #808: Commit 0c1c8ca pushed by facebook-github-bot
January 28, 2025 15:39 1m 55s main
January 28, 2025 15:39 1m 55s
pages build and deployment
pages-build-deployment #804: by github-pages bot
January 28, 2025 14:17 30s gh-pages
January 28, 2025 14:17 30s
Extend call hierarchy to include fun reference
ELP CI #983: Commit 992578b pushed by facebook-github-bot
January 28, 2025 14:15 1h 42m 20s main
January 28, 2025 14:15 1h 42m 20s
Extend call hierarchy to include fun reference
Deploy Website to GitHub Pages #807: Commit 992578b pushed by facebook-github-bot
January 28, 2025 14:15 2m 2s main
January 28, 2025 14:15 2m 2s