Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
410 workflow runs
410 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump avsm/setup-ocaml from 2 to 3 .github/workflows/main.yml #2307: Commit c087a43 pushed by dependabot bot
July 8, 2024 14:27 10m 29s dependabot/github_actions/avsm/setup-ocaml-3
dependabot/github_actions/avsm/setup-ocaml-3
July 8, 2024 14:27 10m 29s
add tactic set .github/workflows/main.yml #2306: Pull request #1101 synchronize by fblanqui
June 24, 2024 12:18 9m 2s fblanqui:set
fblanqui:set
June 24, 2024 12:18 9m 2s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2305: Pull request #843 synchronize by fblanqui
June 24, 2024 12:00 8m 53s fblanqui:db
fblanqui:db
June 24, 2024 12:00 8m 53s
update CHANGES.md .github/workflows/main.yml #2304: Commit 2b8fd31 pushed by fblanqui
June 24, 2024 11:59 8m 50s master
master
June 24, 2024 11:59 8m 50s
indexing dbpath: do not call getenv since it may fail (#1124) .github/workflows/main.yml #2303: Commit 0a3a2c4 pushed by fblanqui
June 24, 2024 11:49 8m 42s master
master
June 24, 2024 11:49 8m 42s
indexing dbpath: do not call getenv since it may fail .github/workflows/main.yml #2302: Pull request #1124 opened by fblanqui
June 24, 2024 11:39 8m 31s fblanqui:nogetenv
fblanqui:nogetenv
June 24, 2024 11:39 8m 31s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2301: Pull request #843 synchronize by fblanqui
June 24, 2024 10:47 14m 22s fblanqui:db
fblanqui:db
June 24, 2024 10:47 14m 22s
catch Sedlexing errors (#1123) .github/workflows/main.yml #2300: Commit 2cb70da pushed by fblanqui
June 24, 2024 10:46 8m 20s master
master
June 24, 2024 10:46 8m 20s
catch Sedlexing errors .github/workflows/main.yml #2299: Pull request #1123 opened by fblanqui
June 24, 2024 10:34 8m 38s fblanqui:err
fblanqui:err
June 24, 2024 10:34 8m 38s
fix vsce@2.15.0 warning (#1119) .github/workflows/main.yml #2298: Commit 51d6eec pushed by fblanqui
June 21, 2024 05:10 12m 20s master
master
June 21, 2024 05:10 12m 20s
fix vsce@2.15.0 warning .github/workflows/main.yml #2297: Pull request #1119 opened by Alidra
June 20, 2024 11:21 12m 3s Alidra:master
Alidra:master
June 20, 2024 11:21 12m 3s
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