Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
461 workflow runs
461 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

LSP server: decode percent-encoded URIs before using them as filenames (fix #1169) .github/workflows/main.yml #2393: Pull request #1172 edited by fblanqui
January 2, 2025 13:30 14m 54s fblanqui:uri
fblanqui:uri
January 2, 2025 13:30 14m 54s
LSP server: decode percent-encoded URIs before using them as filenames (fix #1169) .github/workflows/main.yml #2392: Pull request #1172 edited by fblanqui
January 2, 2025 13:29 11m 35s fblanqui:uri
fblanqui:uri
January 2, 2025 13:29 11m 35s
LSP server: decode percent-encoded URIs before using them as filenames (fix #1169) .github/workflows/main.yml #2391: Pull request #1172 edited by fblanqui
January 2, 2025 13:28 7m 14s fblanqui:uri
fblanqui:uri
January 2, 2025 13:28 7m 14s
LSP server: decode percent-encoded URIs before using them as filenames (fix #1169) .github/workflows/main.yml #2390: Pull request #1172 opened by fblanqui
January 2, 2025 13:27 7m 14s fblanqui:uri
fblanqui:uri
January 2, 2025 13:27 7m 14s
Does not allow underscores in assume tactic .github/workflows/main.yml #2389: Pull request #1171 edited by fblanqui
January 2, 2025 10:08 13m 19s fblanqui:anonymous
fblanqui:anonymous
January 2, 2025 10:08 13m 19s
Does not allow underscores in assume tactic .github/workflows/main.yml #2388: Pull request #1171 edited by fblanqui
January 2, 2025 10:01 15m 6s fblanqui:anonymous
fblanqui:anonymous
January 2, 2025 10:01 15m 6s
Does not allow underscores in assume tactic .github/workflows/main.yml #2387: Pull request #1171 opened by fblanqui
January 2, 2025 10:00 10m 22s fblanqui:anonymous
fblanqui:anonymous
January 2, 2025 10:00 10m 22s
Minor Fixes in the Emacs extension (#1168) .github/workflows/main.yml #2386: Commit 15d4eea pushed by fblanqui
January 2, 2025 09:59 11m 7s master
master
January 2, 2025 09:59 11m 7s
Minor Fixes in the Emacs extension .github/workflows/main.yml #2385: Pull request #1168 edited by Alidra
December 31, 2024 20:09 10m 3s Alidra:emacs_recentreGoals
Alidra:emacs_recentreGoals
December 31, 2024 20:09 10m 3s
Minor Fixes in the Emacs extension .github/workflows/main.yml #2384: Pull request #1168 synchronize by Alidra
December 31, 2024 20:06 6m 37s Alidra:emacs_recentreGoals
Alidra:emacs_recentreGoals
December 31, 2024 20:06 6m 37s
Minor Fixes in the Emacs extension .github/workflows/main.yml #2383: Pull request #1168 synchronize by Alidra
December 31, 2024 14:26 6m 48s Alidra:emacs_recentreGoals
Alidra:emacs_recentreGoals
December 31, 2024 14:26 6m 48s
Remove outdated editors/emacs/lambdapi-mode-pkg.el .github/workflows/main.yml #2382: Pull request #1170 opened by tarsius
December 30, 2024 17:16 10m 27s tarsiiformes:expkg
tarsiiformes:expkg
December 30, 2024 17:16 10m 27s
Minor Fixes in the Emacs extension .github/workflows/main.yml #2381: Pull request #1168 opened by Alidra
December 27, 2024 19:06 11m 56s Alidra:emacs_recentreGoals
Alidra:emacs_recentreGoals
December 27, 2024 19:06 11m 56s
Document Macos shortcuts (#1161) .github/workflows/main.yml #2380: Commit 50f02fc pushed by fblanqui
December 19, 2024 10:57 7m 43s master
master
December 19, 2024 10:57 7m 43s
Document Macos shortcuts .github/workflows/main.yml #2379: Pull request #1161 synchronize by Alidra
December 19, 2024 10:28 7m 38s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 19, 2024 10:28 7m 38s
Change the way lsp server is launched from Vscode extension (#1164) .github/workflows/main.yml #2378: Commit ad4666d pushed by fblanqui
December 19, 2024 09:49 7m 28s master
master
December 19, 2024 09:49 7m 28s
Change the way lsp server is launched from Vscode extension .github/workflows/main.yml #2377: Pull request #1164 synchronize by Alidra
December 19, 2024 09:32 7m 44s Alidra:vscode_lpPath
Alidra:vscode_lpPath
December 19, 2024 09:32 7m 44s
Change the way lsp server is launched from Vscode extension .github/workflows/main.yml #2376: Pull request #1164 opened by Alidra
December 18, 2024 23:04 7m 7s Alidra:vscode_lpPath
Alidra:vscode_lpPath
December 18, 2024 23:04 7m 7s
detail .github/workflows/main.yml #2375: Commit 35a5beb pushed by fblanqui
December 18, 2024 09:48 7m 0s master
master
December 18, 2024 09:48 7m 0s
Document Macos shortcuts .github/workflows/main.yml #2374: Pull request #1161 synchronize by Alidra
December 17, 2024 16:58 7m 45s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 17, 2024 16:58 7m 45s
Document Macos shortcuts .github/workflows/main.yml #2373: Pull request #1161 edited by fblanqui
December 17, 2024 15:36 1m 51s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 17, 2024 15:36 1m 51s
Document Macos shortcuts .github/workflows/main.yml #2372: Pull request #1161 edited by fblanqui
December 17, 2024 15:34 1m 57s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 17, 2024 15:34 1m 57s
Document Macos shortcuts .github/workflows/main.yml #2371: Pull request #1161 synchronize by Alidra
December 17, 2024 14:38 2m 21s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 17, 2024 14:38 2m 21s
Document Macos shortcuts .github/workflows/main.yml #2370: Pull request #1161 synchronize by Alidra
December 15, 2024 21:46 7m 17s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 15, 2024 21:46 7m 17s
Document Macos shortcuts .github/workflows/main.yml #2369: Pull request #1161 synchronize by Alidra
December 12, 2024 11:23 1m 25s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 12, 2024 11:23 1m 25s