Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,295 workflow runs
1,295 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Name collisions .github/workflows/ocaml.yml #230: Pull request #1346 synchronize by agontard
5m 19s agontard:name_collisions
agontard:name_collisions
5m 19s
Name collisions .github/workflows/vscode.yml #265: Pull request #1346 synchronize by agontard
42s agontard:name_collisions
agontard:name_collisions
42s
Name collisions .github/workflows/main.yml #3043: Pull request #1346 synchronize by agontard
8m 32s agontard:name_collisions
agontard:name_collisions
8m 32s
Name collisions .github/workflows/emacs.yml #85: Pull request #1346 synchronize by agontard
1m 26s agontard:name_collisions
agontard:name_collisions
1m 26s
Name collisions .github/workflows/ocaml.yml #229: Pull request #1346 synchronize by agontard
5m 14s agontard:name_collisions
agontard:name_collisions
5m 14s
Name collisions .github/workflows/main.yml #3042: Pull request #1346 synchronize by agontard
8m 59s agontard:name_collisions
agontard:name_collisions
8m 59s
Name collisions .github/workflows/emacs.yml #84: Pull request #1346 synchronize by agontard
56s agontard:name_collisions
agontard:name_collisions
56s
Name collisions .github/workflows/vscode.yml #264: Pull request #1346 synchronize by agontard
40s agontard:name_collisions
agontard:name_collisions
40s
Name collisions .github/workflows/ocaml.yml #228: Pull request #1346 opened by agontard
5m 5s agontard:name_collisions
agontard:name_collisions
5m 5s
Name collisions .github/workflows/main.yml #3041: Pull request #1346 opened by agontard
8m 3s agontard:name_collisions
agontard:name_collisions
8m 3s
Name collisions .github/workflows/emacs.yml #83: Pull request #1346 opened by agontard
1m 21s agontard:name_collisions
agontard:name_collisions
1m 21s
Name collisions .github/workflows/vscode.yml #263: Pull request #1346 opened by agontard
36s agontard:name_collisions
agontard:name_collisions
36s
regenerate package-lock.json to update to latest version .github/workflows/vscode.yml #262: Pull request #1336 synchronize by Alidra
36s Alidra:update_package-lock
Alidra:update_package-lock
36s
regenerate package-lock.json to update to latest version .github/workflows/main.yml #3040: Pull request #1336 synchronize by Alidra
8m 25s Alidra:update_package-lock
Alidra:update_package-lock
8m 25s
regenerate package-lock.json to update to latest version .github/workflows/ocaml.yml #227: Pull request #1336 synchronize by Alidra
4m 47s Alidra:update_package-lock
Alidra:update_package-lock
4m 47s
regenerate package-lock.json to update to latest version .github/workflows/emacs.yml #82: Pull request #1336 synchronize by Alidra
1m 20s Alidra:update_package-lock
Alidra:update_package-lock
1m 20s
tests: update stdlib files (#1344) .github/workflows/main.yml #3039: Commit 37da6b9 pushed by fblanqui
8m 28s master
master
8m 28s
tests: update stdlib files .github/workflows/ocaml.yml #226: Pull request #1344 synchronize by fblanqui
5m 41s fblanqui:stdlib
fblanqui:stdlib
5m 41s
tests: update stdlib files .github/workflows/main.yml #3038: Pull request #1344 synchronize by fblanqui
8m 59s fblanqui:stdlib
fblanqui:stdlib
8m 59s
tests: update stdlib files .github/workflows/vscode.yml #261: Pull request #1344 synchronize by fblanqui
40s fblanqui:stdlib
fblanqui:stdlib
40s
tests: update stdlib files .github/workflows/emacs.yml #81: Pull request #1344 synchronize by fblanqui
4m 9s fblanqui:stdlib
fblanqui:stdlib
4m 9s
fix LibTerm.fold (#1343) .github/workflows/ocaml.yml #225: Commit 6c1473e pushed by fblanqui
4m 51s master
master
4m 51s
fix LibTerm.fold (#1343) .github/workflows/main.yml #3037: Commit 6c1473e pushed by fblanqui
8m 31s master
master
8m 31s
tests: update stdlib files .github/workflows/emacs.yml #80: Pull request #1344 opened by fblanqui
1m 46s fblanqui:stdlib
fblanqui:stdlib
1m 46s
tests: update stdlib files .github/workflows/ocaml.yml #224: Pull request #1344 opened by fblanqui
4m 48s fblanqui:stdlib
fblanqui:stdlib
4m 48s