Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add export to Lean .github/workflows/main.yml #2538: Pull request #1197 synchronize by fblanqui
February 12, 2025 23:03 9m 57s fblanqui:lean
fblanqui:lean
February 12, 2025 23:03 9m 57s
Cleanup syntax highlighting file for vscode (#1198) .github/workflows/main.yml #2537: Commit 08d0f00 pushed by fblanqui
February 12, 2025 21:28 10m 26s master
master
February 12, 2025 21:28 10m 26s
Add export to Lean .github/workflows/main.yml #2536: Pull request #1197 synchronize by fblanqui
February 12, 2025 21:20 11m 9s fblanqui:lean
fblanqui:lean
February 12, 2025 21:20 11m 9s
Cleanup syntax highlighting file for vscode .github/workflows/main.yml #2535: Pull request #1198 opened by Alidra
February 12, 2025 21:12 10m 44s Alidra:vscode/cleanup
Alidra:vscode/cleanup
February 12, 2025 21:12 10m 44s
Add export to Lean .github/workflows/main.yml #2534: Pull request #1197 opened by fblanqui
February 12, 2025 20:58 9m 56s fblanqui:lean
fblanqui:lean
February 12, 2025 20:58 9m 56s
Update to pratter 5 .github/workflows/main.yml #2533: Pull request #1196 synchronize by gabrielhdt
February 12, 2025 10:37 10m 14s gabrielhdt:pratter-5
gabrielhdt:pratter-5
February 12, 2025 10:37 10m 14s
Update to pratter 5 .github/workflows/main.yml #2532: Pull request #1196 synchronize by gabrielhdt
February 12, 2025 09:43 9m 53s gabrielhdt:pratter-5
gabrielhdt:pratter-5
February 12, 2025 09:43 9m 53s
Update to pratter 5 .github/workflows/main.yml #2531: Pull request #1196 opened by gabrielhdt
February 12, 2025 09:28 10m 44s gabrielhdt:pratter-5
gabrielhdt:pratter-5
February 12, 2025 09:28 10m 44s
add tacticals orelse and repeat (#1195) .github/workflows/main.yml #2530: Commit 00c6361 pushed by fblanqui
February 12, 2025 08:07 9m 59s master
master
February 12, 2025 08:07 9m 59s
add tacticals orelse and repeat .github/workflows/main.yml #2529: Pull request #1195 synchronize by fblanqui
February 11, 2025 22:41 10m 3s fblanqui:tac
fblanqui:tac
February 11, 2025 22:41 10m 3s
add tacticals orelse and repeat .github/workflows/main.yml #2528: Pull request #1195 synchronize by fblanqui
February 11, 2025 22:19 10m 3s fblanqui:tac
fblanqui:tac
February 11, 2025 22:19 10m 3s
add tacticals orelse and repeat .github/workflows/main.yml #2527: Pull request #1195 synchronize by fblanqui
February 11, 2025 21:33 10m 27s fblanqui:tac
fblanqui:tac
February 11, 2025 21:33 10m 27s
add tacticals orelse and repeat .github/workflows/main.yml #2526: Pull request #1195 opened by fblanqui
February 11, 2025 18:56 10m 9s fblanqui:tac
fblanqui:tac
February 11, 2025 18:56 10m 9s
new parser for lp files .github/workflows/main.yml #2525: Pull request #1129 synchronize by fblanqui
February 11, 2025 16:35 5m 39s fblanqui:parse
fblanqui:parse
February 11, 2025 16:35 5m 39s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2524: Pull request #843 synchronize by fblanqui
February 11, 2025 16:35 8m 14s fblanqui:db
fblanqui:db
February 11, 2025 16:35 8m 14s
fold term in set tactic (#1194) .github/workflows/main.yml #2523: Commit 3aad693 pushed by fblanqui
February 11, 2025 16:27 10m 18s master
master
February 11, 2025 16:27 10m 18s
fold term in set tactic .github/workflows/main.yml #2522: Pull request #1194 synchronize by fblanqui
February 11, 2025 16:25 10m 53s fblanqui:set
fblanqui:set
February 11, 2025 16:25 10m 53s
fold term in set tactic .github/workflows/main.yml #2521: Pull request #1194 opened by fblanqui
February 11, 2025 16:02 10m 19s fblanqui:set
fblanqui:set
February 11, 2025 16:02 10m 19s
Update pratter to 4.0.0 .github/workflows/main.yml #2520: Pull request #1193 synchronize by gabrielhdt
February 11, 2025 13:51 4m 58s gabrielhdt:update-pratter
gabrielhdt:update-pratter
February 11, 2025 13:51 4m 58s
check compatibility between notation and theory (#1192) .github/workflows/main.yml #2519: Commit 2352b33 pushed by fblanqui
February 10, 2025 17:48 10m 10s master
master
February 10, 2025 17:48 10m 10s
check compatibility between notation and theory .github/workflows/main.yml #2518: Pull request #1192 opened by fblanqui
February 10, 2025 17:37 10m 11s fblanqui:compat
fblanqui:compat
February 10, 2025 17:37 10m 11s
new parser for lp files .github/workflows/main.yml #2517: Pull request #1129 synchronize by fblanqui
February 10, 2025 16:30 7m 5s fblanqui:parse
fblanqui:parse
February 10, 2025 16:30 7m 5s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2516: Pull request #843 synchronize by fblanqui
February 10, 2025 16:30 8m 44s fblanqui:db
fblanqui:db
February 10, 2025 16:30 8m 44s
update CHANGES.md .github/workflows/main.yml #2515: Commit f8978c3 pushed by fblanqui
February 10, 2025 15:30 15m 1s master
master
February 10, 2025 15:30 15m 1s
Allow exportation of notations on external symbols (fix #1116) (#1190) .github/workflows/main.yml #2514: Commit 79e24ca pushed by fblanqui
February 10, 2025 15:28 10m 4s master
master
February 10, 2025 15:28 10m 4s