Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
381 workflow runs
381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add tactic set .github/workflows/main.yml #2253: Pull request #1101 synchronize by fblanqui
April 30, 2024 09:00 8m 31s fblanqui:set
fblanqui:set
April 30, 2024 09:00 8m 31s
add tactic set .github/workflows/main.yml #2252: Pull request #1101 synchronize by fblanqui
April 30, 2024 06:59 8m 12s fblanqui:set
fblanqui:set
April 30, 2024 06:59 8m 12s
add tactic set .github/workflows/main.yml #2251: Pull request #1101 edited by fblanqui
April 29, 2024 14:23 8m 36s fblanqui:set
fblanqui:set
April 29, 2024 14:23 8m 36s
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