Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
559 workflow runs
559 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add the command lambdapi depend to compute dependencies quickly .github/workflows/main.yml #2606: Pull request #1212 opened by fblanqui
February 28, 2025 17:52 7m 56s fblanqui:dep
fblanqui:dep
February 28, 2025 17:52 7m 56s
Upgrade to vscode.1.97 (#1207) .github/workflows/main.yml #2605: Commit 968abfe pushed by fblanqui
February 28, 2025 16:20 12m 11s master
master
February 28, 2025 16:20 12m 11s
Reimplement conversion modulo AC .github/workflows/main.yml #2604: Pull request #1211 synchronize by fblanqui
February 28, 2025 15:29 9m 6s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 15:29 9m 6s
Reimplement conversion modulo AC .github/workflows/main.yml #2603: Pull request #1211 synchronize by fblanqui
February 28, 2025 15:01 8m 7s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 15:01 8m 7s
Reimplement conversion modulo AC .github/workflows/main.yml #2602: Pull request #1211 synchronize by fblanqui
February 28, 2025 14:46 8m 43s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 14:46 8m 43s
Reimplement conversion modulo AC .github/workflows/main.yml #2601: Pull request #1211 synchronize by fblanqui
February 28, 2025 14:25 8m 56s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 14:25 8m 56s
Reimplement conversion modulo AC .github/workflows/main.yml #2600: Pull request #1211 synchronize by fblanqui
February 28, 2025 14:20 8m 26s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 14:20 8m 26s
Reimplement conversion modulo AC .github/workflows/main.yml #2599: Pull request #1211 synchronize by fblanqui
February 28, 2025 10:49 8m 34s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 10:49 8m 34s
Reimplement conversion modulo AC .github/workflows/main.yml #2598: Pull request #1211 synchronize by fblanqui
February 28, 2025 10:42 4m 59s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 10:42 4m 59s
Reimplement conversion modulo AC .github/workflows/main.yml #2597: Pull request #1211 synchronize by fblanqui
February 28, 2025 10:15 9m 18s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 10:15 9m 18s
Reimplement conversion modulo AC .github/workflows/main.yml #2596: Pull request #1211 synchronize by fblanqui
February 28, 2025 09:43 9m 22s fblanqui:new-ac
fblanqui:new-ac
February 28, 2025 09:43 9m 22s
Reimplement conversion modulo AC .github/workflows/main.yml #2595: Pull request #1211 synchronize by fblanqui
February 27, 2025 21:43 9m 10s fblanqui:new-ac
fblanqui:new-ac
February 27, 2025 21:43 9m 10s
Reimplement conversion modulo AC .github/workflows/main.yml #2594: Pull request #1211 synchronize by fblanqui
February 27, 2025 17:53 8m 53s fblanqui:new-ac
fblanqui:new-ac
February 27, 2025 17:53 8m 53s
Reimplement conversion modulo AC .github/workflows/main.yml #2593: Pull request #1211 synchronize by fblanqui
February 27, 2025 16:26 9m 51s fblanqui:new-ac
fblanqui:new-ac
February 27, 2025 16:26 9m 51s
Reimplement conversion modulo AC .github/workflows/main.yml #2592: Pull request #1211 opened by fblanqui
February 27, 2025 15:18 13m 44s fblanqui:new-ac
fblanqui:new-ac
February 27, 2025 15:18 13m 44s
Use Lazy.force to test whether a dtree is empty (#1210) .github/workflows/main.yml #2591: Commit 19dcf15 pushed by fblanqui
February 25, 2025 18:24 8m 19s master
master
February 25, 2025 18:24 8m 19s
Use Lazy.force to test whether a dtree is empty .github/workflows/main.yml #2590: Pull request #1210 opened by fblanqui
February 25, 2025 17:53 11m 28s fblanqui:stdlib32
fblanqui:stdlib32
February 25, 2025 17:53 11m 28s
remove useless context field in Eval.Config.t (#1209) .github/workflows/main.yml #2589: Commit c089bcd pushed by fblanqui
February 25, 2025 15:02 17m 26s master
master
February 25, 2025 15:02 17m 26s
remove useless context field in Eval.Config.t .github/workflows/main.yml #2588: Pull request #1209 opened by fblanqui
February 25, 2025 14:33 15m 53s fblanqui:eval
fblanqui:eval
February 25, 2025 14:33 15m 53s
Indexing2025 (#1201) .github/workflows/main.yml #2587: Commit 0d3899a pushed by fblanqui
February 24, 2025 09:00 11m 2s master
master
February 24, 2025 09:00 11m 2s
Upgrade to vscode.1.97 .github/workflows/main.yml #2586: Pull request #1207 opened by Alidra
February 21, 2025 18:08 8m 42s Alidra:vscode_upgrade_vscode.1.97
Alidra:vscode_upgrade_vscode.1.97
February 21, 2025 18:08 8m 42s
Indexing2025 .github/workflows/main.yml #2585: Pull request #1201 synchronize by fblanqui
February 20, 2025 16:58 11m 47s sacerdot:indexing2025
sacerdot:indexing2025
February 20, 2025 16:58 11m 47s
do not run ci when modifying md files only (#1206) .github/workflows/main.yml #2584: Commit f3e98df pushed by fblanqui
February 20, 2025 16:47 8m 20s master
master
February 20, 2025 16:47 8m 20s
do not run ci when modifying md files only .github/workflows/main.yml #2583: Pull request #1206 opened by fblanqui
February 20, 2025 16:31 11m 0s fblanqui:ci
fblanqui:ci
February 20, 2025 16:31 11m 0s
Indexing2025 .github/workflows/main.yml #2582: Pull request #1201 synchronize by fblanqui
February 20, 2025 16:24 11m 24s sacerdot:indexing2025
sacerdot:indexing2025
February 20, 2025 16:24 11m 24s