Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
502 workflow runs
502 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Vscode extension : fix type in Make file (#1114) .github/workflows/main.yml #2296: Commit 391c381 pushed by fblanqui
May 17, 2024 10:59 11m 30s master
master
May 17, 2024 10:59 11m 30s
Vscode extension : fix typo in Make file .github/workflows/main.yml #2295: Pull request #1114 opened by Alidra
May 17, 2024 10:22 11m 37s Alidra:vscode/exnten
Alidra:vscode/exnten
May 17, 2024 10:22 11m 37s
Vscode : release version 0.2.2 of the vscode extension (#1112) .github/workflows/main.yml #2294: Commit 230bfec pushed by fblanqui
May 16, 2024 12:40 10m 47s master
master
May 16, 2024 12:40 10m 47s
ci: add ocaml 5.2.0 (#1113) .github/workflows/main.yml #2293: Commit bc30e3e pushed by fblanqui
May 14, 2024 18:03 11m 16s master
master
May 14, 2024 18:03 11m 16s
ci: add ocaml 5.2.0 .github/workflows/main.yml #2292: Pull request #1113 opened by fblanqui
May 14, 2024 17:21 11m 30s fblanqui:ocaml-5.2.0
fblanqui:ocaml-5.2.0
May 14, 2024 17:21 11m 30s
Vscode : release version 0.2.2 of the vscode extension .github/workflows/main.yml #2291: Pull request #1112 synchronize by Alidra
May 14, 2024 07:37 8m 31s Alidra:release/vscode
Alidra:release/vscode
May 14, 2024 07:37 8m 31s
Vscode : release version 0.2.2 of the vscode extension .github/workflows/main.yml #2290: Pull request #1112 synchronize by Alidra
May 14, 2024 07:10 8m 19s Alidra:release/vscode
Alidra:release/vscode
May 14, 2024 07:10 8m 19s
Vscode : release version 0.2.2 of the vscode extension .github/workflows/main.yml #2289: Pull request #1112 synchronize by Alidra
May 13, 2024 21:34 9m 3s Alidra:release/vscode
Alidra:release/vscode
May 13, 2024 21:34 9m 3s
Vscode : release version 0.2.2 of the vscode extension .github/workflows/main.yml #2288: Pull request #1112 synchronize by Alidra
May 13, 2024 21:33 1s Alidra:release/vscode
Alidra:release/vscode
May 13, 2024 21:33 1s
Vscode : release version 0.2.2 of the vscode extension .github/workflows/main.yml #2287: Pull request #1112 synchronize by Alidra
May 13, 2024 21:04 7m 59s Alidra:release/vscode
Alidra:release/vscode
May 13, 2024 21:04 7m 59s
Vscode : release version 0.2.2 of the vscode extension .github/workflows/main.yml #2286: Pull request #1112 synchronize by Alidra
May 13, 2024 20:57 8m 12s Alidra:release/vscode
Alidra:release/vscode
May 13, 2024 20:57 8m 12s
Vscode : release version 0.2.2 of the vscode extension .github/workflows/main.yml #2285: Pull request #1112 synchronize by Alidra
May 13, 2024 20:29 8m 2s Alidra:release/vscode
Alidra:release/vscode
May 13, 2024 20:29 8m 2s
Vscode : release version 0.2.2 of the vscode extension .github/workflows/main.yml #2284: Pull request #1112 opened by Alidra
May 13, 2024 09:54 8m 18s Alidra:release/vscode
Alidra:release/vscode
May 13, 2024 09:54 8m 18s
Show the Goal panel if it has lost focus (#1081) .github/workflows/main.yml #2283: Commit 0b91a5d pushed by fblanqui
May 7, 2024 19:25 8m 4s master
master
May 7, 2024 19:25 8m 4s
fix parsing error : return commands even when the end of the file con… .github/workflows/main.yml #2282: Commit a884b81 pushed by fblanqui
May 7, 2024 16:53 8m 27s master
master
May 7, 2024 16:53 8m 27s
fix parsing error : return commands even when the end of the file contains parsing error .github/workflows/main.yml #2281: Pull request #1086 edited by Alidra
May 6, 2024 14:05 8m 15s Alidra:fix/parsing
Alidra:fix/parsing
May 6, 2024 14:05 8m 15s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2280: Pull request #843 synchronize by fblanqui
May 3, 2024 16:35 8m 57s fblanqui:db
fblanqui:db
May 3, 2024 16:35 8m 57s
Check libraries when Lambdapi code changes (#1107) .github/workflows/main.yml #2279: Commit 04e52b2 pushed by fblanqui
May 3, 2024 16:33 8m 29s master
master
May 3, 2024 16:33 8m 29s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2278: Pull request #1107 synchronize by fblanqui
May 3, 2024 16:10 8m 22s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 3, 2024 16:10 8m 22s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2277: Pull request #1107 synchronize by Alidra
May 3, 2024 08:59 8m 1s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 3, 2024 08:59 8m 1s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2276: Pull request #1107 synchronize by Alidra
May 2, 2024 18:07 8m 41s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 18:07 8m 41s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2275: Pull request #1107 synchronize by fblanqui
May 2, 2024 16:24 8m 37s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 16:24 8m 37s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2274: Pull request #1107 synchronize by fblanqui
May 2, 2024 16:09 8m 42s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 16:09 8m 42s
remove .ocamlformat files (#1109) .github/workflows/main.yml #2273: Commit d793f96 pushed by fblanqui
May 2, 2024 15:51 8m 18s master
master
May 2, 2024 15:51 8m 18s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2272: Pull request #1107 synchronize by Alidra
May 2, 2024 15:39 8m 12s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 15:39 8m 12s