Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
352 workflow runs
352 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix documentation (#1061) .github/workflows/main.yml #2121: Commit 4b82a2f pushed by fblanqui
February 29, 2024 15:27 8m 47s master
master
February 29, 2024 15:27 8m 47s
Fix documentation .github/workflows/main.yml #2120: Pull request #1061 opened by Alidra
February 29, 2024 15:17 8m 57s Alidra:fixDocumentation
Alidra:fixDocumentation
February 29, 2024 15:17 8m 57s
Add syntactic export to dk .github/workflows/main.yml #2119: Pull request #1060 opened by fblanqui
February 29, 2024 09:45 5m 33s fblanqui:raw_dk
fblanqui:raw_dk
February 29, 2024 09:45 5m 33s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2118: Pull request #843 synchronize by fblanqui
February 28, 2024 19:43 18m 33s fblanqui:db
fblanqui:db
February 28, 2024 19:43 18m 33s
Vscode : use latest version of vscode-languageclient and update depen… .github/workflows/main.yml #2117: Commit 58b80a9 pushed by fblanqui
February 28, 2024 19:38 8m 38s master
master
February 28, 2024 19:38 8m 38s
Documentation : added the .readthedocs.yaml to the root of the repo t… .github/workflows/main.yml #2116: Commit e67d58c pushed by fblanqui
February 28, 2024 16:59 10m 23s master
master
February 28, 2024 16:59 10m 23s
Documentation : Fix the documentation generation pipeline with ReadTheDoc .github/workflows/main.yml #2115: Pull request #1059 opened by Alidra
February 28, 2024 16:01 9m 4s Alidra:fix/readTheDoc
Alidra:fix/readTheDoc
February 28, 2024 16:01 9m 4s
Simplify added goals + prepare new release (#1056) .github/workflows/main.yml #2114: Commit 3a6b2f1 pushed by fblanqui
February 26, 2024 10:57 8m 27s master
master
February 26, 2024 10:57 8m 27s
Simplify added goals + prepare new release .github/workflows/main.yml #2113: Pull request #1056 edited by fblanqui
February 26, 2024 10:46 8m 29s fblanqui:release
fblanqui:release
February 26, 2024 10:46 8m 29s
Simplify added goals + prepare new release .github/workflows/main.yml #2112: Pull request #1056 edited by fblanqui
February 26, 2024 10:45 8m 0s fblanqui:release
fblanqui:release
February 26, 2024 10:45 8m 0s
Vscode : use latest version of vscode-languageclient and update dependant libraries .github/workflows/main.yml #2111: Pull request #1055 edited by Alidra
February 26, 2024 08:41 8m 11s Alidra:updateDependencies
Alidra:updateDependencies
February 26, 2024 08:41 8m 11s
Simplify added goals + prepare new release .github/workflows/main.yml #2110: Pull request #1056 opened by fblanqui
February 25, 2024 11:16 8m 28s fblanqui:release
fblanqui:release
February 25, 2024 11:16 8m 28s
.github/workflows/main.yml .github/workflows/main.yml #2109: by fblanqui
February 25, 2024 11:15 8m 20s 2.5.0
2.5.0
February 25, 2024 11:15 8m 20s
.github/workflows/main.yml .github/workflows/main.yml #2108: by fblanqui
February 25, 2024 08:17 9m 4s 2.5.0
2.5.0
February 25, 2024 08:17 9m 4s
Vscode : use latest version of vscode-languageclient and update dependant libraries .github/workflows/main.yml #2107: Pull request #1055 synchronize by Alidra
February 24, 2024 22:26 8m 22s Alidra:updateDependencies
Alidra:updateDependencies
February 24, 2024 22:26 8m 22s
Vscode : use latest version of vscode-languageclient and update dependant libraries .github/workflows/main.yml #2106: Pull request #1055 synchronize by Alidra
February 24, 2024 22:14 8m 13s Alidra:updateDependencies
Alidra:updateDependencies
February 24, 2024 22:14 8m 13s
Vscode : use latest version of vscode-languageclient and update dependant libraries .github/workflows/main.yml #2105: Pull request #1055 synchronize by Alidra
February 24, 2024 11:29 8m 19s Alidra:updateDependencies
Alidra:updateDependencies
February 24, 2024 11:29 8m 19s
Vscode : use latest version of vscode-languageclient and update dependant libraries .github/workflows/main.yml #2104: Pull request #1055 opened by Alidra
February 23, 2024 14:51 8m 11s Alidra:updateDependencies
Alidra:updateDependencies
February 23, 2024 14:51 8m 11s
fix cleaning in library scripts (#1054) .github/workflows/main.yml #2103: Commit 4e2d68f pushed by fblanqui
February 22, 2024 12:56 8m 11s master
master
February 22, 2024 12:56 8m 11s
fix cleaning in library scripts .github/workflows/main.yml #2102: Pull request #1054 opened by fblanqui
February 22, 2024 12:31 8m 31s fblanqui:lib
fblanqui:lib
February 22, 2024 12:31 8m 31s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2101: Pull request #843 edited by fblanqui
February 22, 2024 12:29 8m 43s fblanqui:db
fblanqui:db
February 22, 2024 12:29 8m 43s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2100: Pull request #843 synchronize by fblanqui
February 22, 2024 11:24 8m 44s fblanqui:db
fblanqui:db
February 22, 2024 11:24 8m 44s
fix README (#1053) .github/workflows/main.yml #2099: Commit 9597727 pushed by fblanqui
February 22, 2024 11:22 8m 14s master
master
February 22, 2024 11:22 8m 14s
fix README .github/workflows/main.yml #2098: Pull request #1053 opened by fblanqui
February 22, 2024 10:10 7m 58s fblanqui:doc
fblanqui:doc
February 22, 2024 10:10 7m 58s
fix tac_solve (fix #1041) (#1052) .github/workflows/main.yml #2097: Commit 4888196 pushed by fblanqui
February 21, 2024 20:21 8m 28s master
master
February 21, 2024 20:21 8m 28s
ProTip! You can narrow down the results and go further in time using created:<2024-02-21 or the other filters available.