Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
471 workflow runs
471 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.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
fix tac_solve (fix #1041) .github/workflows/main.yml #2096: Pull request #1052 opened by fblanqui
February 21, 2024 19:54 7m 51s fblanqui:tac_solve
fblanqui:tac_solve
February 21, 2024 19:54 7m 51s
do not keep definition of opaque symbols only (fix #1035) (#1051) .github/workflows/main.yml #2095: Commit 7dab185 pushed by fblanqui
February 21, 2024 15:38 7m 50s master
master
February 21, 2024 15:38 7m 50s
do not keep definition of opaque symbols only (fix #1035) .github/workflows/main.yml #2094: Pull request #1051 opened by fblanqui
February 21, 2024 15:26 7m 56s fblanqui:prv
fblanqui:prv
February 21, 2024 15:26 7m 56s
Revert vscode-languageclient version because it breaks code #1050 .github/workflows/main.yml #2093: Commit 9ccecd2 pushed by fblanqui
February 20, 2024 23:08 7m 40s master
master
February 20, 2024 23:08 7m 40s
Revert vscode-languageclient version because it breaks code .github/workflows/main.yml #2092: Pull request #1050 opened by Alidra
February 20, 2024 22:41 8m 1s Alidra:fixLanguageVscodeLanguageClient
Alidra:fixLanguageVscodeLanguageClient
February 20, 2024 22:41 8m 1s
fix package-lock.json : vscode-languageserver-types .github/workflows/main.yml #2091: Commit 751855c pushed by Alidra
February 19, 2024 11:19 8m 17s fixVsceVersion
fixVsceVersion
February 19, 2024 11:19 8m 17s
RESOLVE CONFLICT (#996) .github/workflows/main.yml #2090: Commit 5bc4169 pushed by Alidra
February 14, 2024 11:43 11m 51s master
master
February 14, 2024 11:43 11m 51s
Bump semver and vscode-languageclient in /editors/vscode .github/workflows/main.yml #2089: Pull request #996 synchronize by Alidra
February 14, 2024 11:26 11m 37s dependabot/npm_and_yarn/editors/vscode/semver-and-vscode-languageclient-7.5.3
dependabot/npm_and_yarn/editors/vscode/semver-and-vscode-languageclient-7.5.3
February 14, 2024 11:26 11m 37s
RESOLVE CONFLICT .github/workflows/main.yml #2088: Commit 6da9c7d pushed by Alidra
February 14, 2024 11:26 11m 36s dependabot/npm_and_yarn/editors/vscode/semver-and-vscode-languageclient-7.5.3
dependabot/npm_and_yarn/editors/vscode/semver-and-vscode-languageclient-7.5.3
February 14, 2024 11:26 11m 36s
update README (fix #1046) (#1047) .github/workflows/main.yml #2087: Commit 30d45d8 pushed by fblanqui
February 6, 2024 16:42 8m 18s master
master
February 6, 2024 16:42 8m 18s
update README (fix #1046) .github/workflows/main.yml #2086: Pull request #1047 opened by fblanqui
February 6, 2024 16:00 8m 5s fblanqui:1046
fblanqui:1046
February 6, 2024 16:00 8m 5s
Exports for the format TRS + small improvement to HRS export .github/workflows/main.yml #2085: Pull request #1028 edited by thiagofelicissimo
February 6, 2024 10:36 8m 41s thiagofelicissimo:new_exports
thiagofelicissimo:new_exports
February 6, 2024 10:36 8m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-02-06 or the other filters available.