Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
remove warnings in emacs pluging .github/workflows/main.yml #3536: Pull request #1491 opened by Alidra
10m 26s Alidra:emacs_warnings2
Alidra:emacs_warnings2
10m 26s
remove warnings in emacs pluging .github/workflows/ocaml.yml #722: Pull request #1491 opened by Alidra
9m 2s Alidra:emacs_warnings2
Alidra:emacs_warnings2
9m 2s
remove warnings in emacs pluging .github/workflows/vscode.yml #733: Pull request #1491 opened by Alidra
1m 18s Alidra:emacs_warnings2
Alidra:emacs_warnings2
1m 18s
remove warnings in emacs pluging .github/workflows/emacs.yml #517: Pull request #1491 opened by Alidra
1m 1s Alidra:emacs_warnings2
Alidra:emacs_warnings2
1m 1s
Check version of the indexing DB .github/workflows/emacs.yml #516: Pull request #1490 opened by Alidra
1m 28s Alidra:indexing_db_version
Alidra:indexing_db_version
1m 28s
Check version of the indexing DB .github/workflows/vscode.yml #732: Pull request #1490 opened by Alidra
41s Alidra:indexing_db_version
Alidra:indexing_db_version
41s
Check version of the indexing DB .github/workflows/ocaml.yml #721: Pull request #1490 opened by Alidra
8m 37s Alidra:indexing_db_version
Alidra:indexing_db_version
8m 37s
Check version of the indexing DB .github/workflows/main.yml #3535: Pull request #1490 opened by Alidra
9m 41s Alidra:indexing_db_version
Alidra:indexing_db_version
9m 41s
Bump js-yaml from 4.3.0 to 4.3.1 in /editors/vscode .github/workflows/ocaml.yml #720: Pull request #1488 opened by dependabot Bot
9m 20s dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
9m 20s
Bump js-yaml from 4.3.0 to 4.3.1 in /editors/vscode .github/workflows/emacs.yml #515: Pull request #1488 opened by dependabot Bot
1m 24s dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
1m 24s
Bump js-yaml from 4.3.0 to 4.3.1 in /editors/vscode .github/workflows/main.yml #3534: Pull request #1488 opened by dependabot Bot
9m 49s dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
9m 49s
Bump js-yaml from 4.3.0 to 4.3.1 in /editors/vscode .github/workflows/vscode.yml #731: Pull request #1488 opened by dependabot Bot
1m 14s dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
1m 14s
Bump js-yaml from 4.3.0 to 4.3.1 in /editors/vscode .github/workflows/vscode.yml #730: Commit b67bbcd pushed by dependabot Bot
41s dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
dependabot/npm_and_yarn/editors/vscode/js-yaml-4.3.1
41s
npm_and_yarn in /editors/vscode for js-yaml - Update #1522189598 Dependabot Updates #76: by dependabot Bot
1m 3s master
master
1m 3s
npm_and_yarn in /editors/vscode for brace-expansion - Update #1505808568 Dependabot Updates #75: by dependabot Bot
53s master
master
53s
Bump fast-uri from 3.1.4 to 3.1.5 in /editors/vscode (#1486) .github/workflows/vscode.yml #729: Commit 4ef4527 pushed by fblanqui
44s master
master
44s
Bump fast-uri from 3.1.4 to 3.1.5 in /editors/vscode .github/workflows/vscode.yml #728: Commit 9594fcf pushed by dependabot Bot
2m 6s dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
2m 6s
Bump fast-uri from 3.1.4 to 3.1.5 in /editors/vscode .github/workflows/emacs.yml #514: Pull request #1486 opened by dependabot Bot
2m 16s dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
2m 16s
Bump fast-uri from 3.1.4 to 3.1.5 in /editors/vscode .github/workflows/vscode.yml #727: Pull request #1486 opened by dependabot Bot
47s dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
47s
Bump fast-uri from 3.1.4 to 3.1.5 in /editors/vscode .github/workflows/main.yml #3533: Pull request #1486 opened by dependabot Bot
5m 53s dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
5m 53s
Bump fast-uri from 3.1.4 to 3.1.5 in /editors/vscode .github/workflows/ocaml.yml #719: Pull request #1486 opened by dependabot Bot
5m 11s dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
dependabot/npm_and_yarn/editors/vscode/fast-uri-3.1.5
5m 11s
npm_and_yarn in /editors/vscode for brace-expansion - Update #1505785845 Dependabot Updates #74: by dependabot Bot
42s master
master
42s
npm_and_yarn in /editors/vscode for fast-uri - Update #1505785799 Dependabot Updates #73: by dependabot Bot
54s master
master
54s
Bump undici from 7.28.0 to 7.29.0 in /editors/vscode (#1485) .github/workflows/vscode.yml #726: Commit 8f0b80f pushed by fblanqui
44s master
master
44s
npm_and_yarn in /editors/vscode for undici - Update #1505405567 Dependabot Updates #72: by dependabot Bot
58s master
master
58s