Skip to content

Actions: Alidra/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix parsing error : return commands even when the end of the file con… .github/workflows/main.yml #89: Commit 0875349 pushed by Alidra
April 18, 2024 16:57 7m 58s fix/parsing
fix/parsing
April 18, 2024 16:57 7m 58s
vscode : do nothing when goals are null, get focus back for goals pan… .github/workflows/main.yml #88: Commit 85355b7 pushed by Alidra
April 17, 2024 11:16 9m 10s fix/GoalsPanelFocus
fix/GoalsPanelFocus
April 17, 2024 11:16 9m 10s
Fix colors in terminal (#1080) .github/workflows/main.yml #87: Commit bd9a2d8 pushed by Alidra
April 17, 2024 11:12 8m 13s master
master
April 17, 2024 11:12 8m 13s
fix/colors : update CHANGES.md .github/workflows/main.yml #86: Commit 57574f7 pushed by Alidra
April 12, 2024 14:12 8m 13s fix/search_Color
fix/search_Color
April 12, 2024 14:12 8m 13s
fix color of text in command line Lambdapi when Console.out is used .github/workflows/main.yml #85: Commit d8bb2bb pushed by Alidra
April 12, 2024 14:08 8m 1s fix/search_Color
fix/search_Color
April 12, 2024 14:08 8m 1s
feat/vscode: publish vscode extension if a new version is detected (#… .github/workflows/main.yml #84: Commit 59faaab pushed by Alidra
April 12, 2024 12:00 8m 49s master
master
April 12, 2024 12:00 8m 49s
get ride of console.out which is used for debuging and add position t… .github/workflows/main.yml #83: Commit 02b84a9 pushed by Alidra
April 11, 2024 13:45 8m 1s fix/symbolLocationInTactics
fix/symbolLocationInTactics
April 11, 2024 13:45 8m 1s
fix symbol location within tactic : move the location printing in the… .github/workflows/main.yml #82: Commit c112a60 pushed by Alidra
April 9, 2024 14:13 10m 7s fix/symbolLocationInTactics
fix/symbolLocationInTactics
April 9, 2024 14:13 10m 7s
add square brakets to location message when object is not found .github/workflows/main.yml #81: Commit 86f1241 pushed by Alidra
April 9, 2024 10:44 7m 57s fix/symbolLocationInTactics
fix/symbolLocationInTactics
April 9, 2024 10:44 7m 57s
Show the location in terminal when the unknown object exception is ca… .github/workflows/main.yml #80: Commit bdf3828 pushed by Alidra
April 9, 2024 10:21 7m 51s fix/symbolLocationInTactics
fix/symbolLocationInTactics
April 9, 2024 10:21 7m 51s
feat/vscode: update the release instructions in the editors/vscode/RE… .github/workflows/main.yml #79: Commit 5627a71 pushed by Alidra
April 5, 2024 22:18 8m 7s feat/vscodeAutoPublishExtension
feat/vscodeAutoPublishExtension
April 5, 2024 22:18 8m 7s
feat/vscode: publish vscode extension if a new version is detected .github/workflows/main.yml #78: Commit 3b3608c pushed by Alidra
April 5, 2024 16:51 7m 53s feat/vscodeAutoPublishExtension
feat/vscodeAutoPublishExtension
April 5, 2024 16:51 7m 53s
vscode/ test pusblishing extension .github/workflows/main.yml #77: Commit 540eb49 pushed by Alidra
April 5, 2024 16:40 29s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 16:40 29s
vscode/ test pusblishing extension .github/workflows/main.yml #76: Commit 872ef90 pushed by Alidra
April 5, 2024 16:39 34s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 16:39 34s
remove duplicate make .github/workflows/main.yml #75: Commit 2a2c424 pushed by Alidra
April 5, 2024 16:36 32s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 16:36 32s
vscode/ test pusblishing extension .github/workflows/main.yml #74: Commit 1aaa343 pushed by Alidra
April 5, 2024 16:30 38s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 16:30 38s
vscode: publish extension if new version. Fix makefile .github/workflows/main.yml #73: Commit 5b88aca pushed by Alidra
April 5, 2024 16:27 31s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 16:27 31s
vscode: publish extension if new version .github/workflows/main.yml #72: Commit 4a62d2b pushed by Alidra
April 5, 2024 16:26 34s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 16:26 34s
use Pat in pipeline to publish extension .github/workflows/main.yml #71: Commit 9bb56c3 pushed by Alidra
April 5, 2024 13:20 33s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 13:20 33s
test secret .github/workflows/main.yml #70: Commit 1ae603b pushed by Alidra
April 5, 2024 13:11 12s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 13:11 12s
test secret .github/workflows/main.yml #69: Commit eafe482 pushed by Alidra
April 5, 2024 13:07 15s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 13:07 15s
test secret .github/workflows/main.yml #68: Commit 2c9f25b pushed by Alidra
April 5, 2024 13:01 1s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 13:01 1s
test secret .github/workflows/main.yml #67: Commit 7b778c8 pushed by Alidra
April 5, 2024 13:00 Failure feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 13:00 Failure
test secret .github/workflows/main.yml #66: Commit 6b9b3ff pushed by Alidra
April 5, 2024 12:56 3m 8s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 12:56 3m 8s
.github/workflows/main.yml .github/workflows/main.yml #65: Manually run by Alidra
April 5, 2024 12:54 4m 11s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 12:54 4m 11s