Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
469 workflow runs
469 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2397: Pull request #843 synchronize by fblanqui
January 2, 2025 18:11 7m 41s fblanqui:db
fblanqui:db
January 2, 2025 18:11 7m 41s
ci: test ocaml 5.2.1 instead of ocaml 5.2.0 (#1173) .github/workflows/main.yml #2396: Commit 4c281ca pushed by fblanqui
January 2, 2025 14:51 15m 21s master
master
January 2, 2025 14:51 15m 21s
LSP server: decode percent-encoded URIs before using them as filename… .github/workflows/main.yml #2395: Commit 2e32554 pushed by fblanqui
January 2, 2025 14:51 7m 13s master
master
January 2, 2025 14:51 7m 13s
ci: test ocaml 5.2.1 instead of ocaml 5.2.0 .github/workflows/main.yml #2394: Pull request #1173 opened by fblanqui
January 2, 2025 13:34 16m 13s fblanqui:ci
fblanqui:ci
January 2, 2025 13:34 16m 13s
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
github_actions in /. - Update #940133252 Dependabot Updates #3: by dependabot bot
December 30, 2024 14:33 31s master
master
December 30, 2024 14:33 31s
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
github_actions in /. - Update #937097244 Dependabot Updates #2: by dependabot bot
December 23, 2024 14:54 36s master
master
December 23, 2024 14:54 36s
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