Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
355 workflow runs
355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rawdk export: fix type of AC symbols (#1089) .github/workflows/main.yml #2199: Commit 49fb1e3 pushed by fblanqui
April 23, 2024 10:01 8m 27s master
master
April 23, 2024 10:01 8m 27s
rawdk export: fix type of AC symbols .github/workflows/main.yml #2198: Pull request #1089 opened by fblanqui
April 23, 2024 09:16 8m 40s fblanqui:rawdk
fblanqui:rawdk
April 23, 2024 09:16 8m 40s
Fix issue #1001 .github/workflows/main.yml #2197: Pull request #1087 synchronize by fblanqui
April 22, 2024 21:03 8m 46s gabrielhdt:iss1001
gabrielhdt:iss1001
April 22, 2024 21:03 8m 46s
fix rawdk export of AC symbols (#1088) .github/workflows/main.yml #2196: Commit ecde8fd pushed by fblanqui
April 22, 2024 20:59 8m 32s master
master
April 22, 2024 20:59 8m 32s
fix rawdk export of AC symbols .github/workflows/main.yml #2195: Pull request #1088 opened by fblanqui
April 22, 2024 20:40 8m 18s fblanqui:rawdk
fblanqui:rawdk
April 22, 2024 20:40 8m 18s
Fix issue #1001 .github/workflows/main.yml #2194: Pull request #1087 opened by gabrielhdt
April 22, 2024 17:53 7m 59s gabrielhdt:iss1001
gabrielhdt:iss1001
April 22, 2024 17:53 7m 59s
fix parsing error : return commands even when the end of the file contains parsing error .github/workflows/main.yml #2193: Pull request #1086 synchronize by Alidra
April 19, 2024 08:29 8m 33s Alidra:fix/parsing
Alidra:fix/parsing
April 19, 2024 08:29 8m 33s
fix parsing error : return commands even when the end of the file contains parsing error .github/workflows/main.yml #2192: Pull request #1086 opened by Alidra
April 18, 2024 17:01 7m 46s Alidra:fix/parsing
Alidra:fix/parsing
April 18, 2024 17:01 7m 46s
remove ocaml warning about unix (#1085) .github/workflows/main.yml #2191: Commit 37c5b9c pushed by fblanqui
April 18, 2024 15:55 7m 55s master
master
April 18, 2024 15:55 7m 55s
remove ocaml warning about unix .github/workflows/main.yml #2190: Pull request #1085 opened by fblanqui
April 18, 2024 15:41 12m 53s fblanqui:dune
fblanqui:dune
April 18, 2024 15:41 12m 53s
update editors/vscode/INSTALL.md .github/workflows/main.yml #2189: Commit c0ee174 pushed by fblanqui
April 18, 2024 14:28 7m 54s master
master
April 18, 2024 14:28 7m 54s
Show the Goal panel if it has lost focus .github/workflows/main.yml #2188: Pull request #1081 opened by Alidra
April 17, 2024 11:24 8m 48s Alidra:fix/GoalsPanelFocus
Alidra:fix/GoalsPanelFocus
April 17, 2024 11:24 8m 48s
Fix location of symbol in logs when the object is not found within a tactic .github/workflows/main.yml #2187: Pull request #1078 edited by fblanqui
April 12, 2024 15:06 8m 28s Alidra:fix/symbolLocationInTactics
Alidra:fix/symbolLocationInTactics
April 12, 2024 15:06 8m 28s
Fix colors in terminal (#1080) .github/workflows/main.yml #2186: Commit bd9a2d8 pushed by fblanqui
April 12, 2024 15:04 8m 17s master
master
April 12, 2024 15:04 8m 17s
Fix colors in terminal .github/workflows/main.yml #2185: Pull request #1080 opened by Alidra
April 12, 2024 14:18 8m 22s Alidra:fix/search_Color
Alidra:fix/search_Color
April 12, 2024 14:18 8m 22s
Fix location of symbol in logs when the object is not found within a … .github/workflows/main.yml #2184: Commit d19df78 pushed by fblanqui
April 12, 2024 13:41 8m 2s master
master
April 12, 2024 13:41 8m 2s
feat/vscode: publish vscode extension if a new version is detected (#… .github/workflows/main.yml #2183: Commit 59faaab pushed by Alidra
April 12, 2024 09:01 8m 45s master
master
April 12, 2024 09:01 8m 45s
Fix location of symbol in logs when the object is not found within a tactic .github/workflows/main.yml #2182: Pull request #1078 synchronize by Alidra
April 11, 2024 13:45 8m 9s Alidra:fix/symbolLocationInTactics
Alidra:fix/symbolLocationInTactics
April 11, 2024 13:45 8m 9s
coq export: use Printf instead of Format (#1079) .github/workflows/main.yml #2181: Commit 01921e0 pushed by fblanqui
April 10, 2024 05:49 7m 46s master
master
April 10, 2024 05:49 7m 46s
coq export: use Printf instead of Format .github/workflows/main.yml #2180: Pull request #1079 synchronize by fblanqui
April 9, 2024 19:41 7m 53s fblanqui:coq
fblanqui:coq
April 9, 2024 19:41 7m 53s
coq export: use Printf instead of Format .github/workflows/main.yml #2179: Pull request #1079 opened by fblanqui
April 9, 2024 19:16 8m 7s fblanqui:coq
fblanqui:coq
April 9, 2024 19:16 8m 7s
Fix location of symbol in logs when the object is not found within a tactic .github/workflows/main.yml #2178: Pull request #1078 synchronize by Alidra
April 9, 2024 14:13 9m 56s Alidra:fix/symbolLocationInTactics
Alidra:fix/symbolLocationInTactics
April 9, 2024 14:13 9m 56s
Fix location of symbol in logs when the object is not found within a tactic .github/workflows/main.yml #2177: Pull request #1078 opened by Alidra
April 9, 2024 10:53 8m 11s Alidra:fix/symbolLocationInTactics
Alidra:fix/symbolLocationInTactics
April 9, 2024 10:53 8m 11s
feat/vscode: publish vscode extension if a new version is detected .github/workflows/main.yml #2176: Pull request #1076 synchronize by Alidra
April 5, 2024 22:19 7m 51s Alidra:feat/vscodeAutoPublishExtension
Alidra:feat/vscodeAutoPublishExtension
April 5, 2024 22:19 7m 51s
feat/vscode: publish vscode extension if a new version is detected .github/workflows/main.yml #2175: Pull request #1076 opened by Alidra
April 5, 2024 16:55 8m 3s Alidra:feat/vscodeAutoPublishExtension
Alidra:feat/vscodeAutoPublishExtension
April 5, 2024 16:55 8m 3s