Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,618 workflow runs
1,618 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
Improvements and new features for indexing .github/workflows/emacs.yml #236: Pull request #1290 synchronize by Alidra
1m 26s sacerdot:indexing_BO
sacerdot:indexing_BO
1m 26s
Improvements and new features for indexing .github/workflows/vscode.yml #433: Pull request #1290 synchronize by Alidra
40s sacerdot:indexing_BO
sacerdot:indexing_BO
40s
Improvements and new features for indexing .github/workflows/ocaml.yml #399: Pull request #1290 synchronize by Alidra
4m 34s sacerdot:indexing_BO
sacerdot:indexing_BO
4m 34s
Improvements and new features for indexing .github/workflows/main.yml #3213: Pull request #1290 synchronize by Alidra
8m 45s sacerdot:indexing_BO
sacerdot:indexing_BO
8m 45s
fix error message in SR checking (#1403) .github/workflows/ocaml.yml #398: Commit 6f58ff9 pushed by fblanqui
4m 45s master
master
4m 45s
fix error message in SR checking (#1403) .github/workflows/main.yml #3212: Commit 6f58ff9 pushed by fblanqui
4m 18s master
master
4m 18s
fix error message in SR checking .github/workflows/ocaml.yml #397: Pull request #1403 synchronize by fblanqui
4m 57s fblanqui:sr
fblanqui:sr
4m 57s
fix error message in SR checking .github/workflows/emacs.yml #235: Pull request #1403 synchronize by fblanqui
1m 16s fblanqui:sr
fblanqui:sr
1m 16s
fix error message in SR checking .github/workflows/vscode.yml #432: Pull request #1403 synchronize by fblanqui
33s fblanqui:sr
fblanqui:sr
33s
fix error message in SR checking .github/workflows/main.yml #3211: Pull request #1403 synchronize by fblanqui
8m 16s fblanqui:sr
fblanqui:sr
8m 16s
fix error message in SR checking .github/workflows/emacs.yml #234: Pull request #1403 synchronize by fblanqui
1m 6s fblanqui:sr
fblanqui:sr
1m 6s
fix error message in SR checking .github/workflows/vscode.yml #431: Pull request #1403 synchronize by fblanqui
35s fblanqui:sr
fblanqui:sr
35s
fix error message in SR checking .github/workflows/main.yml #3210: Pull request #1403 synchronize by fblanqui
8m 38s fblanqui:sr
fblanqui:sr
8m 38s
fix error message in SR checking .github/workflows/ocaml.yml #396: Pull request #1403 synchronize by fblanqui
4m 32s fblanqui:sr
fblanqui:sr
4m 32s
fix error message in SR checking .github/workflows/vscode.yml #430: Pull request #1403 synchronize by fblanqui
1m 16s fblanqui:sr
fblanqui:sr
1m 16s
fix error message in SR checking .github/workflows/ocaml.yml #395: Pull request #1403 synchronize by fblanqui
4m 25s fblanqui:sr
fblanqui:sr
4m 25s
fix error message in SR checking .github/workflows/main.yml #3209: Pull request #1403 synchronize by fblanqui
8m 10s fblanqui:sr
fblanqui:sr
8m 10s
fix error message in SR checking .github/workflows/emacs.yml #233: Pull request #1403 synchronize by fblanqui
1m 8s fblanqui:sr
fblanqui:sr
1m 8s
fix error message in SR checking .github/workflows/ocaml.yml #394: Pull request #1403 synchronize by fblanqui
6m 16s fblanqui:sr
fblanqui:sr
6m 16s
fix error message in SR checking .github/workflows/main.yml #3208: Pull request #1403 synchronize by fblanqui
8m 19s fblanqui:sr
fblanqui:sr
8m 19s
fix error message in SR checking .github/workflows/vscode.yml #429: Pull request #1403 synchronize by fblanqui
35s fblanqui:sr
fblanqui:sr
35s
fix error message in SR checking .github/workflows/emacs.yml #232: Pull request #1403 synchronize by fblanqui
1m 14s fblanqui:sr
fblanqui:sr
1m 14s
fix error message in SR checking .github/workflows/emacs.yml #231: Pull request #1403 synchronize by fblanqui
1m 15s fblanqui:sr
fblanqui:sr
1m 15s
fix error message in SR checking .github/workflows/main.yml #3207: Pull request #1403 synchronize by fblanqui
8m 48s fblanqui:sr
fblanqui:sr
8m 48s
fix error message in SR checking .github/workflows/vscode.yml #428: Pull request #1403 synchronize by fblanqui
38s fblanqui:sr
fblanqui:sr
38s