Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump qs from 6.14.1 to 6.14.2 in /editors/vscode (#1350) .github/workflows/vscode.yml #277: Commit bc13a83 pushed by fblanqui
38s master
master
38s
Bump qs from 6.14.1 to 6.14.2 in /editors/vscode .github/workflows/main.yml #3057: Pull request #1350 opened by dependabot bot
8m 17s dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
8m 17s
Bump qs from 6.14.1 to 6.14.2 in /editors/vscode .github/workflows/emacs.yml #95: Pull request #1350 opened by dependabot bot
1m 1s dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
1m 1s
Bump qs from 6.14.1 to 6.14.2 in /editors/vscode .github/workflows/vscode.yml #276: Pull request #1350 opened by dependabot bot
35s dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
35s
Bump qs from 6.14.1 to 6.14.2 in /editors/vscode .github/workflows/ocaml.yml #244: Pull request #1350 opened by dependabot bot
4m 19s dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
4m 19s
Bump qs from 6.14.1 to 6.14.2 in /editors/vscode .github/workflows/vscode.yml #275: Commit 4a37101 pushed by dependabot bot
36s dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
dependabot/npm_and_yarn/editors/vscode/qs-6.14.2
36s
npm_and_yarn in /editors/vscode for qs - Update #1244154554 Dependabot Updates #38: by dependabot bot
47s master
master
47s
Name collisions .github/workflows/ocaml.yml #243: Pull request #1346 synchronize by agontard
4m 42s agontard:name_collisions
agontard:name_collisions
4m 42s
Name collisions .github/workflows/main.yml #3056: Pull request #1346 synchronize by agontard
8m 18s agontard:name_collisions
agontard:name_collisions
8m 18s
Name collisions .github/workflows/vscode.yml #274: Pull request #1346 synchronize by agontard
39s agontard:name_collisions
agontard:name_collisions
39s
Name collisions .github/workflows/emacs.yml #94: Pull request #1346 synchronize by agontard
1m 13s agontard:name_collisions
agontard:name_collisions
1m 13s
Fixing diagnostics (#1317) .github/workflows/main.yml #3055: Commit 4fd4704 pushed by fblanqui
8m 5s master
master
8m 5s
Fixing diagnostics (#1317) .github/workflows/ocaml.yml #242: Commit 4fd4704 pushed by fblanqui
4m 45s master
master
4m 45s
Fixing diagnostics (#1317) .github/workflows/emacs.yml #93: Commit 4fd4704 pushed by fblanqui
1m 23s master
master
1m 23s
Fixing diagnostics .github/workflows/vscode.yml #273: Pull request #1317 synchronize by Alidra
1m 16s Alidra:fix_diags
Alidra:fix_diags
1m 16s
Fixing diagnostics .github/workflows/ocaml.yml #241: Pull request #1317 synchronize by Alidra
4m 54s Alidra:fix_diags
Alidra:fix_diags
4m 54s
Fixing diagnostics .github/workflows/main.yml #3054: Pull request #1317 synchronize by Alidra
8m 17s Alidra:fix_diags
Alidra:fix_diags
8m 17s
Fixing diagnostics .github/workflows/emacs.yml #92: Pull request #1317 synchronize by Alidra
1m 32s Alidra:fix_diags
Alidra:fix_diags
1m 32s
Fixing diagnostics .github/workflows/main.yml #3053: Pull request #1317 synchronize by Alidra
8m 11s Alidra:fix_diags
Alidra:fix_diags
8m 11s
Fixing diagnostics .github/workflows/emacs.yml #91: Pull request #1317 synchronize by Alidra
1m 46s Alidra:fix_diags
Alidra:fix_diags
1m 46s
Fixing diagnostics .github/workflows/ocaml.yml #240: Pull request #1317 synchronize by Alidra
4m 42s Alidra:fix_diags
Alidra:fix_diags
4m 42s
Fixing diagnostics .github/workflows/vscode.yml #272: Pull request #1317 synchronize by Alidra
49s Alidra:fix_diags
Alidra:fix_diags
49s
opam file: update constraints on cmdliner (#1349) .github/workflows/ocaml.yml #239: Commit 93b921f pushed by fblanqui
4m 21s master
master
4m 21s
opam file: update constraints on cmdliner (#1349) .github/workflows/main.yml #3052: Commit 93b921f pushed by fblanqui
8m 1s master
master
8m 1s
opam file: update constraints on cmdliner .github/workflows/emacs.yml #90: Pull request #1349 opened by fblanqui
1m 28s fblanqui:cmdliner
fblanqui:cmdliner
1m 28s