Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show the Goal panel if it has lost focus (#1081) .github/workflows/main.yml #2283: Commit 0b91a5d pushed by fblanqui
May 7, 2024 19:25 8m 4s master
master
May 7, 2024 19:25 8m 4s
fix parsing error : return commands even when the end of the file con… .github/workflows/main.yml #2282: Commit a884b81 pushed by fblanqui
May 7, 2024 16:53 8m 27s master
master
May 7, 2024 16:53 8m 27s
fix parsing error : return commands even when the end of the file contains parsing error .github/workflows/main.yml #2281: Pull request #1086 edited by Alidra
May 6, 2024 14:05 8m 15s Alidra:fix/parsing
Alidra:fix/parsing
May 6, 2024 14:05 8m 15s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2280: Pull request #843 synchronize by fblanqui
May 3, 2024 16:35 8m 57s fblanqui:db
fblanqui:db
May 3, 2024 16:35 8m 57s
Check libraries when Lambdapi code changes (#1107) .github/workflows/main.yml #2279: Commit 04e52b2 pushed by fblanqui
May 3, 2024 16:33 8m 29s master
master
May 3, 2024 16:33 8m 29s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2278: Pull request #1107 synchronize by fblanqui
May 3, 2024 16:10 8m 22s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 3, 2024 16:10 8m 22s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2277: Pull request #1107 synchronize by Alidra
May 3, 2024 08:59 8m 1s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 3, 2024 08:59 8m 1s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2276: Pull request #1107 synchronize by Alidra
May 2, 2024 18:07 8m 41s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 18:07 8m 41s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2275: Pull request #1107 synchronize by fblanqui
May 2, 2024 16:24 8m 37s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 16:24 8m 37s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2274: Pull request #1107 synchronize by fblanqui
May 2, 2024 16:09 8m 42s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 16:09 8m 42s
remove .ocamlformat files (#1109) .github/workflows/main.yml #2273: Commit d793f96 pushed by fblanqui
May 2, 2024 15:51 8m 18s master
master
May 2, 2024 15:51 8m 18s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2272: Pull request #1107 synchronize by Alidra
May 2, 2024 15:39 8m 12s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 15:39 8m 12s
remove .ocamlformat files .github/workflows/main.yml #2271: Pull request #1109 opened by fblanqui
May 2, 2024 15:28 8m 1s fblanqui:format
fblanqui:format
May 2, 2024 15:28 8m 1s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2270: Pull request #1107 synchronize by Alidra
May 2, 2024 14:25 8m 22s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
May 2, 2024 14:25 8m 22s
Check libraries when Lambdapi code changes .github/workflows/main.yml #2269: Pull request #1107 opened by Alidra
April 30, 2024 22:26 8m 4s Alidra:feat/checkLibraries
Alidra:feat/checkLibraries
April 30, 2024 22:26 8m 4s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2268: Pull request #843 synchronize by fblanqui
April 30, 2024 21:14 9m 33s fblanqui:db
fblanqui:db
April 30, 2024 21:14 9m 33s
add tactic set .github/workflows/main.yml #2267: Pull request #1101 synchronize by fblanqui
April 30, 2024 21:00 7m 50s fblanqui:set
fblanqui:set
April 30, 2024 21:00 7m 50s
rename some test files (#1106) .github/workflows/main.yml #2266: Commit df6f7bc pushed by fblanqui
April 30, 2024 20:56 7m 57s master
master
April 30, 2024 20:56 7m 57s
rename some test files .github/workflows/main.yml #2265: Pull request #1106 opened by fblanqui
April 30, 2024 20:01 9m 4s fblanqui:rename
fblanqui:rename
April 30, 2024 20:01 9m 4s
add tactic set .github/workflows/main.yml #2264: Pull request #1101 synchronize by fblanqui
April 30, 2024 12:46 15m 20s fblanqui:set
fblanqui:set
April 30, 2024 12:46 15m 20s
fix #1092 (#1105) .github/workflows/main.yml #2263: Commit 0a22cf9 pushed by fblanqui
April 30, 2024 12:45 8m 15s master
master
April 30, 2024 12:45 8m 15s
fix #1103 (#1104) .github/workflows/main.yml #2262: Commit 2db5c59 pushed by fblanqui
April 30, 2024 12:45 8m 17s master
master
April 30, 2024 12:45 8m 17s
fix #1092 .github/workflows/main.yml #2261: Pull request #1105 opened by fblanqui
April 30, 2024 12:30 9m 57s fblanqui:make
fblanqui:make
April 30, 2024 12:30 9m 57s
fix #1103 .github/workflows/main.yml #2260: Pull request #1104 synchronize by fblanqui
April 30, 2024 12:24 10m 6s fblanqui:neg
fblanqui:neg
April 30, 2024 12:24 10m 6s
fix #1103 .github/workflows/main.yml #2259: Pull request #1104 synchronize by fblanqui
April 30, 2024 12:23 8m 28s fblanqui:neg
fblanqui:neg
April 30, 2024 12:23 8m 28s