Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
356 workflow runs
356 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add tactic set .github/workflows/main.yml #2250: Pull request #1101 edited by fblanqui
April 29, 2024 14:23 7m 57s fblanqui:set
fblanqui:set
April 29, 2024 14:23 7m 57s
add tactic set .github/workflows/main.yml #2249: Pull request #1101 synchronize by fblanqui
April 29, 2024 14:13 8m 4s fblanqui:set
fblanqui:set
April 29, 2024 14:13 8m 4s
add tactic set .github/workflows/main.yml #2248: Pull request #1101 synchronize by fblanqui
April 29, 2024 13:53 8m 7s fblanqui:set
fblanqui:set
April 29, 2024 13:53 8m 7s
add tactic set .github/workflows/main.yml #2247: Pull request #1101 synchronize by fblanqui
April 29, 2024 13:33 7m 53s fblanqui:set
fblanqui:set
April 29, 2024 13:33 7m 53s
add tactic set .github/workflows/main.yml #2246: Pull request #1101 edited by fblanqui
April 29, 2024 13:08 15m 36s fblanqui:set
fblanqui:set
April 29, 2024 13:08 15m 36s
add tactic set .github/workflows/main.yml #2245: Pull request #1101 edited by fblanqui
April 29, 2024 13:08 8m 22s fblanqui:set
fblanqui:set
April 29, 2024 13:08 8m 22s
add tactic set .github/workflows/main.yml #2244: Pull request #1101 synchronize by fblanqui
April 29, 2024 13:08 8m 43s fblanqui:set
fblanqui:set
April 29, 2024 13:08 8m 43s
add tactic set .github/workflows/main.yml #2243: Pull request #1101 edited by fblanqui
April 29, 2024 12:56 10m 23s fblanqui:set
fblanqui:set
April 29, 2024 12:56 10m 23s
add tactic set .github/workflows/main.yml #2242: Pull request #1101 edited by fblanqui
April 29, 2024 12:53 7m 59s fblanqui:set
fblanqui:set
April 29, 2024 12:53 7m 59s
fix parsing error : return commands even when the end of the file contains parsing error .github/workflows/main.yml #2241: Pull request #1086 synchronize by Alidra
April 29, 2024 12:46 8m 22s Alidra:fix/parsing
Alidra:fix/parsing
April 29, 2024 12:46 8m 22s
add tactic set .github/workflows/main.yml #2240: Pull request #1101 opened by fblanqui
April 27, 2024 05:55 8m 10s fblanqui:set
fblanqui:set
April 27, 2024 05:55 8m 10s
add flag print_meta_args (#1100) .github/workflows/main.yml #2239: Commit 965fdae pushed by fblanqui
April 26, 2024 09:17 8m 18s master
master
April 26, 2024 09:17 8m 18s
add flag print_meta_args .github/workflows/main.yml #2238: Pull request #1100 edited by fblanqui
April 26, 2024 09:07 7m 54s fblanqui:meta-args
fblanqui:meta-args
April 26, 2024 09:07 7m 54s
add flag print_meta_args .github/workflows/main.yml #2237: Pull request #1100 opened by fblanqui
April 26, 2024 09:07 8m 1s fblanqui:meta-args
fblanqui:meta-args
April 26, 2024 09:07 8m 1s
fix issue #1097 - meta numbering reset (#1099) .github/workflows/main.yml #2236: Commit 2f54828 pushed by fblanqui
April 26, 2024 08:59 8m 5s master
master
April 26, 2024 08:59 8m 5s
lsp: fix meta numbering reset (issue #1097) .github/workflows/main.yml #2235: Pull request #1099 synchronize by fblanqui
April 26, 2024 08:44 8m 5s fblanqui:pure
fblanqui:pure
April 26, 2024 08:44 8m 5s
lsp: fix meta numbering reset (issue #1097) .github/workflows/main.yml #2234: Pull request #1099 opened by fblanqui
April 26, 2024 08:34 8m 18s fblanqui:pure
fblanqui:pure
April 26, 2024 08:34 8m 18s
Show the Goal panel if it has lost focus .github/workflows/main.yml #2233: Pull request #1081 edited by fblanqui
April 25, 2024 13:35 8m 5s Alidra:fix/GoalsPanelFocus
Alidra:fix/GoalsPanelFocus
April 25, 2024 13:35 8m 5s
Fix #554 (#1095) .github/workflows/main.yml #2232: Commit 5f606fa pushed by fblanqui
April 25, 2024 13:34 7m 53s master
master
April 25, 2024 13:34 7m 53s
Set properly standard emacs package (#1090) .github/workflows/main.yml #2231: Commit a4bc3a4 pushed by fblanqui
April 25, 2024 09:41 8m 40s master
master
April 25, 2024 09:41 8m 40s
Fix green cursor position in the presence of opening bracket .github/workflows/main.yml #2230: Pull request #1098 opened by Alidra
April 24, 2024 14:58 8m 0s Alidra:fix_navigProof
Alidra:fix_navigProof
April 24, 2024 14:58 8m 0s
fix typo in user manual .github/workflows/main.yml #2229: Commit 50fce21 pushed by fblanqui
April 24, 2024 14:44 8m 51s master
master
April 24, 2024 14:44 8m 51s
fix parsing error : return commands even when the end of the file contains parsing error .github/workflows/main.yml #2228: Pull request #1086 synchronize by Alidra
April 24, 2024 14:30 8m 11s Alidra:fix/parsing
Alidra:fix/parsing
April 24, 2024 14:30 8m 11s
Fix #554 .github/workflows/main.yml #2227: Pull request #1095 opened by gabrielhdt
April 24, 2024 14:14 8m 54s gabrielhdt:iss554
gabrielhdt:iss554
April 24, 2024 14:14 8m 54s
Parse integers and negative floats for notations (#1093) .github/workflows/main.yml #2226: Commit 0902592 pushed by fblanqui
April 24, 2024 13:44 8m 5s master
master
April 24, 2024 13:44 8m 5s