Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
679 workflow runs
679 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing diagnostics .github/workflows/main.yml #3045: Pull request #1317 synchronize by Alidra
8m 33s Alidra:fix_diags
Alidra:fix_diags
8m 33s
Fixing diagnostics .github/workflows/main.yml #3044: Pull request #1317 synchronize by Alidra
8m 36s Alidra:fix_diags
Alidra:fix_diags
8m 36s
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/main.yml #3042: Pull request #1346 synchronize by agontard
8m 59s agontard:name_collisions
agontard:name_collisions
8m 59s
Name collisions .github/workflows/main.yml #3041: Pull request #1346 opened by agontard
8m 3s agontard:name_collisions
agontard:name_collisions
8m 3s
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
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/main.yml #3038: Pull request #1344 synchronize by fblanqui
8m 59s fblanqui:stdlib
fblanqui:stdlib
8m 59s
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/main.yml #3036: Pull request #1344 opened by fblanqui
9m 12s fblanqui:stdlib
fblanqui:stdlib
9m 12s
fix LibTerm.fold .github/workflows/main.yml #3035: Pull request #1343 opened by fblanqui
9m 8s fblanqui:set
fblanqui:set
9m 8s
fix printing of hypotheses (#1342) .github/workflows/main.yml #3034: Commit 31720a0 pushed by fblanqui
8m 25s master
master
8m 25s
fix printing of hypotheses .github/workflows/main.yml #3033: Pull request #1342 opened by fblanqui
8m 43s fblanqui:goal
fblanqui:goal
8m 43s
Bump undici from 7.10.0 to 7.18.2 in /editors/vscode .github/workflows/main.yml #3032: Pull request #1341 opened by dependabot bot
8m 36s dependabot/npm_and_yarn/editors/vscode/undici-7.18.2
dependabot/npm_and_yarn/editors/vscode/undici-7.18.2
8m 36s
Bump qs from 6.14.0 to 6.14.1 in /editors/vscode .github/workflows/main.yml #3031: Pull request #1340 opened by dependabot bot
7m 53s dependabot/npm_and_yarn/editors/vscode/qs-6.14.1
dependabot/npm_and_yarn/editors/vscode/qs-6.14.1
7m 53s
Bump actions/checkout from 5 to 6 (#1339) .github/workflows/main.yml #3030: Commit bed90a0 pushed by fblanqui
8m 9s master
master
8m 9s
Bump actions/checkout from 5 to 6 .github/workflows/main.yml #3029: Pull request #1339 opened by dependabot bot
8m 37s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
8m 37s
Bump actions/checkout from 5 to 6 .github/workflows/main.yml #3028: Commit 52d9c2b pushed by dependabot bot
9m 27s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
9m 27s
Bump actions/upload-artifact from 5 to 6 .github/workflows/main.yml #3027: Pull request #1338 opened by dependabot bot
8m 41s dependabot/github_actions/actions/upload-artifact-6
dependabot/github_actions/actions/upload-artifact-6
8m 41s
do not fail when redefining a builtin (#1337) .github/workflows/main.yml #3026: Commit f5f9847 pushed by fblanqui
8m 12s master
master
8m 12s
do not fail when redefining a builtin .github/workflows/main.yml #3025: Pull request #1337 opened by fblanqui
8m 14s fblanqui:builtin
fblanqui:builtin
8m 14s
regenerate package-lock.json to update to latest version .github/workflows/main.yml #3024: Pull request #1336 opened by Alidra
8m 31s Alidra:update_package-lock
Alidra:update_package-lock
8m 31s
Improvements and new features for indexing .github/workflows/main.yml #3023: Pull request #1290 synchronize by Alidra
8m 10s sacerdot:indexing_BO
sacerdot:indexing_BO
8m 10s
Improvements and new features for indexing .github/workflows/main.yml #3022: Pull request #1290 synchronize by Alidra
8m 32s sacerdot:indexing_BO
sacerdot:indexing_BO
8m 32s
fix odoc (#1334) .github/workflows/main.yml #3021: Commit 252a217 pushed by fblanqui
8m 29s master
master
8m 29s