Skip to content

Actions: Alidra/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update documentation and changes and minor fixes in README
.github/workflows/main.yml #165: Commit a5788a2 pushed by Alidra
December 17, 2024 16:58 1m 45s macos-shortcuts
December 17, 2024 16:58 1m 45s
define specific keybindings for Mac OS and update README.md
.github/workflows/main.yml #164: Commit f7404c9 pushed by Alidra
December 17, 2024 14:38 6m 56s macos-shortcuts
December 17, 2024 14:38 6m 56s
vscode : fix shortcuts in README
.github/workflows/main.yml #163: Commit 8500d1e pushed by Alidra
December 15, 2024 21:46 1m 11s macos-shortcuts
December 15, 2024 21:46 1m 11s
vscode: minor corrections in README
.github/workflows/main.yml #162: Commit 1ded943 pushed by Alidra
December 12, 2024 11:23 7m 27s macos-shortcuts
December 12, 2024 11:23 7m 27s
vscode: split the shortcuts sections in README in two. One specific f…
.github/workflows/main.yml #161: Commit 0e2483b pushed by Alidra
December 12, 2024 11:18 6m 45s macos-shortcuts
December 12, 2024 11:18 6m 45s
document shortcuts for MacOs
.github/workflows/main.yml #160: Commit 4a4fa66 pushed by Alidra
December 12, 2024 09:34 7m 2s macos-shortcuts
December 12, 2024 09:34 7m 2s
Merge branch 'Deducteam:master' into master
.github/workflows/main.yml #159: Commit ceb1ad8 pushed by Alidra
December 12, 2024 09:22 11m 5s master
December 12, 2024 09:22 11m 5s
move calculation of position to get_goals instead of do_goals to be c…
.github/workflows/main.yml #158: Commit 77e471d pushed by Alidra
November 15, 2024 09:08 10m 16s I1144_console
November 15, 2024 09:08 10m 16s
Merge branch 'Deducteam:master' into master
.github/workflows/main.yml #157: Commit ba37966 pushed by Alidra
November 13, 2024 13:18 10m 9s master
November 13, 2024 13:18 10m 9s
.github/workflows/main.yml
.github/workflows/main.yml #156: by Alidra
November 7, 2024 12:26 6m 48s fixI114
November 7, 2024 12:26 6m 48s
fix indentation
.github/workflows/main.yml #155: Commit 00ada10 pushed by Alidra
November 7, 2024 09:07 10m 16s fixI114
November 7, 2024 09:07 10m 16s
Merge branch 'Deducteam:master' into master
.github/workflows/main.yml #154: Commit 29f9c9c pushed by Alidra
November 2, 2024 17:20 10m 50s master
November 2, 2024 17:20 10m 50s
fix hover message in case of problem with the number of subproofs
.github/workflows/main.yml #153: Commit 037f74a pushed by Alidra
October 24, 2024 11:43 6m 49s fixI114
October 24, 2024 11:43 6m 49s
add pstate to tactic_error to fix issue 1144
.github/workflows/main.yml #152: Commit 11d6b5c pushed by Alidra
October 24, 2024 09:14 10m 30s fixI114
October 24, 2024 09:14 10m 30s
Merge branch 'Deducteam:master' into master
.github/workflows/main.yml #151: Commit d27c7d7 pushed by Alidra
October 15, 2024 11:09 10m 22s master
October 15, 2024 11:09 10m 22s
vscode: release minor revision to bring Goals panel to front whithout…
.github/workflows/main.yml #150: Commit a63f1d6 pushed by Alidra
September 30, 2024 09:59 6m 52s master
September 30, 2024 09:59 6m 52s
vscode: release minor revision to bring Goals panel to front whithout…
.github/workflows/main.yml #149: Commit 36570b7 pushed by Alidra
September 30, 2024 09:16 7m 5s master
September 30, 2024 09:16 7m 5s
Merge branch 'Deducteam:master' into master
.github/workflows/main.yml #148: Commit cfce47a pushed by Alidra
September 30, 2024 09:15 6m 51s master
September 30, 2024 09:15 6m 51s
vscode: set preserveFocus to true to prevent Goals panel from taking …
.github/workflows/main.yml #147: Commit 5148f2b pushed by Alidra
September 23, 2024 09:10 6m 51s master
September 23, 2024 09:10 6m 51s
add comment in tutorial (#1132)
.github/workflows/main.yml #146: Commit 82d2d39 pushed by Alidra
September 23, 2024 08:58 10m 38s master
September 23, 2024 08:58 10m 38s
vscode: set preserveFocus to true to prevent Goals panel from taking …
.github/workflows/main.yml #145: Commit 7bba74a pushed by Alidra
July 17, 2024 15:24 35s fix/VscodePlugin
July 17, 2024 15:24 35s
Bump avsm/setup-ocaml from 2 to 3 (#1125)
.github/workflows/main.yml #144: Commit e119c8c pushed by Alidra
July 16, 2024 17:07 10m 38s master
July 16, 2024 17:07 10m 38s
test whithout @vscode/vsce
.github/workflows/main.yml #143: Commit d83ef78 pushed by Alidra
June 20, 2024 09:46 8m 35s fix/vsceWarning
June 20, 2024 09:46 8m 35s
test whithout type/vsce
.github/workflows/main.yml #142: Commit c4f655e pushed by Alidra
June 20, 2024 09:40 6m 21s fix/vsceWarning
June 20, 2024 09:40 6m 21s
testswitching actions
.github/workflows/main.yml #141: Commit a985262 pushed by Alidra
June 20, 2024 09:39 36s fix/vsceWarning
June 20, 2024 09:39 36s