Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
405 workflow runs
405 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix why3 tactic (WIP) .github/workflows/main.yml #2402: Pull request #1174 edited by fblanqui
January 2, 2025 18:15 19m 1s fblanqui:why3
fblanqui:why3
January 2, 2025 18:15 19m 1s
Fix why3 tactic (WIP) .github/workflows/main.yml #2401: Pull request #1174 edited by fblanqui
January 2, 2025 18:15 15m 37s fblanqui:why3
fblanqui:why3
January 2, 2025 18:15 15m 37s
Fix why3 tactic (WIP) .github/workflows/main.yml #2400: Pull request #1174 opened by fblanqui
January 2, 2025 18:13 13m 5s fblanqui:why3
fblanqui:why3
January 2, 2025 18:13 13m 5s
Does not allow underscores in assume tactic .github/workflows/main.yml #2399: Pull request #1171 synchronize by fblanqui
January 2, 2025 18:12 12m 41s fblanqui:anonymous
fblanqui:anonymous
January 2, 2025 18:12 12m 41s
new parser for lp files .github/workflows/main.yml #2398: Pull request #1129 synchronize by fblanqui
January 2, 2025 18:11 4m 13s fblanqui:parse
fblanqui:parse
January 2, 2025 18:11 4m 13s
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
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