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 [email protected] warning .github/workflows/main.yml #140: Commit 10c2c51 pushed by Alidra
June 20, 2024 09:25 8m 44s master
master
June 20, 2024 09:25 8m 44s
Vscode extension : fix type in Make file (#1114) .github/workflows/main.yml #139: Commit 391c381 pushed by Alidra
June 20, 2024 08:38 11m 45s master
master
June 20, 2024 08:38 11m 45s
Vscode extension : fix type in Make file .github/workflows/main.yml #138: Commit 1dc0352 pushed by Alidra
May 17, 2024 10:18 11m 25s vscode/exnten
vscode/exnten
May 17, 2024 10:18 11m 25s
Vscode : release version 0.2.2 of the vscode extension (#1112) .github/workflows/main.yml #137: Commit 230bfec pushed by Alidra
May 17, 2024 10:15 11m 33s master
master
May 17, 2024 10:15 11m 33s
Vscode : publish extension. make messages more explicit .github/workflows/main.yml #136: Commit 2df9268 pushed by Alidra
May 14, 2024 07:37 8m 35s release/vscode
release/vscode
May 14, 2024 07:37 8m 35s
Vscode : publish extension. make messages more explicit .github/workflows/main.yml #135: Commit bc12c00 pushed by Alidra
May 14, 2024 07:10 8m 14s release/vscode
release/vscode
May 14, 2024 07:10 8m 14s
fix github repo name .github/workflows/main.yml #134: Commit fc0ef39 pushed by Alidra
May 13, 2024 21:34 9m 8s release/vscode
release/vscode
May 13, 2024 21:34 9m 8s
check github repo name .github/workflows/main.yml #133: Commit 140bca7 pushed by Alidra
May 13, 2024 21:33 Startup failure release/vscode
release/vscode
May 13, 2024 21:33 Startup failure
vscode : fix new PAT .github/workflows/main.yml #132: Commit 20f3b38 pushed by Alidra
May 13, 2024 21:15 8m 14s testReleaseVscode
testReleaseVscode
May 13, 2024 21:15 8m 14s
.github/workflows/main.yml .github/workflows/main.yml #131: by Alidra
May 13, 2024 21:13 32s testPipe
testPipe
May 13, 2024 21:13 32s
.github/workflows/main.yml .github/workflows/main.yml #130: by Alidra
May 13, 2024 21:12 46s testPipe
testPipe
May 13, 2024 21:12 46s
vscode : fix new PAT .github/workflows/main.yml #128: Commit 20f3b38 pushed by Alidra
May 13, 2024 21:04 8m 9s release/vscode
release/vscode
May 13, 2024 21:04 8m 9s
vscode : use new PAT .github/workflows/main.yml #127: Commit 42dd067 pushed by Alidra
May 13, 2024 20:57 8m 6s release/vscode
release/vscode
May 13, 2024 20:57 8m 6s
Vscode : fix secret name. add Condition on branch before publishing e… .github/workflows/main.yml #126: Commit 9f956eb pushed by Alidra
May 13, 2024 20:29 8m 34s release/vscode
release/vscode
May 13, 2024 20:29 8m 34s
Fix test2 .github/workflows/main.yml #125: Commit 4c623aa pushed by Alidra
May 13, 2024 17:53 21s testPipe
testPipe
May 13, 2024 17:53 21s
Fix test1 .github/workflows/main.yml #124: Commit 2c003d6 pushed by Alidra
May 13, 2024 17:52 22s testPipe
testPipe
May 13, 2024 17:52 22s
Fix test in makefile .github/workflows/main.yml #123: Commit 45e93b7 pushed by Alidra
May 13, 2024 17:51 19s testPipe
testPipe
May 13, 2024 17:51 19s
Fix test in makefile .github/workflows/main.yml #122: Commit d8c5afc pushed by Alidra
May 13, 2024 17:49 21s testPipe
testPipe
May 13, 2024 17:49 21s
simplify pipeline for tests .github/workflows/main.yml #121: Commit ccfd9a2 pushed by Alidra
May 13, 2024 17:40 33s testPipe
testPipe
May 13, 2024 17:40 33s
.github/workflows/main.yml .github/workflows/main.yml #120: Manually run by Alidra
May 13, 2024 13:57 8m 28s testPipe
testPipe
May 13, 2024 13:57 8m 28s
.github/workflows/main.yml .github/workflows/main.yml #119: Manually run by Alidra
May 13, 2024 13:52 5m 9s testPipe
testPipe
May 13, 2024 13:52 5m 9s
add branch name in pipe34 .github/workflows/main.yml #118: Commit b61dfdf pushed by Alidra
May 13, 2024 13:46 6m 13s testPipe
testPipe
May 13, 2024 13:46 6m 13s
add branch name in pipe3 .github/workflows/main.yml #117: Commit 01b7d8b pushed by Alidra
May 13, 2024 13:44 1s testPipe
testPipe
May 13, 2024 13:44 1s
add branch name in pipe2 .github/workflows/main.yml #116: Commit ccd52ea pushed by Alidra
May 13, 2024 13:41 3m 34s testPipe
testPipe
May 13, 2024 13:41 3m 34s
add branch name in pipe .github/workflows/main.yml #115: Commit e790086 pushed by Alidra
May 13, 2024 13:36 5m 42s testPipe
testPipe
May 13, 2024 13:36 5m 42s