Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update CHANGES.md .github/workflows/main.yml #1165: Commit 2b8fd31 pushed by fblanqui
June 24, 2024 11:59 8m 38s master
master
June 24, 2024 11:59 8m 38s
indexing dbpath: do not call getenv since it may fail .github/workflows/main.yml #1164: Commit 690adab pushed by fblanqui
June 24, 2024 11:39 11m 30s nogetenv
nogetenv
June 24, 2024 11:39 11m 30s
indexing: do not use getenv .github/workflows/main.yml #1163: Commit 9ae1980 pushed by fblanqui
June 24, 2024 11:36 8m 38s nodream
nodream
June 24, 2024 11:36 8m 38s
wip .github/workflows/main.yml #1162: Commit 8bd0afd pushed by fblanqui
June 24, 2024 11:32 7m 10s debug
debug
June 24, 2024 11:32 7m 10s
try debug problem in tptp apache server .github/workflows/main.yml #1161: Commit df0ea7a pushed by fblanqui
June 24, 2024 10:53 13m 46s debug
debug
June 24, 2024 10:53 13m 46s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1160: Commit 4b4bcf7 pushed by fblanqui
June 24, 2024 10:47 15m 45s db
db
June 24, 2024 10:47 15m 45s
Merge remote-tracking branch 'dk/master' into nodream .github/workflows/main.yml #1159: Commit 959c491 pushed by fblanqui
June 24, 2024 10:47 7m 36s nodream
nodream
June 24, 2024 10:47 7m 36s
catch Sedlexing errors (#1123) .github/workflows/main.yml #1158: Commit 2cb70da pushed by fblanqui
June 24, 2024 10:46 11m 9s master
master
June 24, 2024 10:46 11m 9s
catch Sedlexing errors .github/workflows/main.yml #1157: Commit f32835d pushed by fblanqui
June 24, 2024 10:34 11m 12s err
err
June 24, 2024 10:34 11m 12s
Merge remote-tracking branch 'dk/master' into nodream .github/workflows/main.yml #1156: Commit b225039 pushed by fblanqui
June 20, 2024 10:01 13m 4s nodream
nodream
June 20, 2024 10:01 13m 4s
Vscode extension : fix type in Make file (#1114) .github/workflows/main.yml #1155: Commit 391c381 pushed by fblanqui
June 20, 2024 10:00 12m 11s master
master
June 20, 2024 10:00 12m 11s
do not read Why3 config file .github/workflows/main.yml #1154: Commit 6dff9e5 pushed by fblanqui
June 20, 2024 08:54 7m 26s nodream
nodream
June 20, 2024 08:54 7m 26s
remove websearch command .github/workflows/main.yml #1153: Commit 548675b pushed by fblanqui
June 18, 2024 18:10 10m 58s nodream
nodream
June 18, 2024 18:10 10m 58s
ci: add ocaml 5.2.0 (#1113) .github/workflows/main.yml #1152: Commit bc30e3e pushed by fblanqui
May 14, 2024 18:04 11m 58s master
master
May 14, 2024 18:04 11m 58s
ci: add ocaml 5.2.0 .github/workflows/main.yml #1151: Commit ebe502b pushed by fblanqui
May 14, 2024 17:20 11m 45s ocaml-5.2.0
ocaml-5.2.0
May 14, 2024 17:20 11m 45s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1150: Commit f58c24f pushed by fblanqui
May 3, 2024 16:35 8m 59s db
db
May 3, 2024 16:35 8m 59s
Check libraries when Lambdapi code changes (#1107) .github/workflows/main.yml #1149: Commit 04e52b2 pushed by fblanqui
May 3, 2024 16:34 9m 3s master
master
May 3, 2024 16:34 9m 3s
remove .ocamlformat files .github/workflows/main.yml #1148: Commit e345ce7 pushed by fblanqui
May 2, 2024 15:27 8m 29s format
format
May 2, 2024 15:27 8m 29s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1147: Commit fa42a15 pushed by fblanqui
April 30, 2024 21:14 9m 17s db
db
April 30, 2024 21:14 9m 17s
Merge remote-tracking branch 'dk/master' into set .github/workflows/main.yml #1146: Commit db66348 pushed by fblanqui
April 30, 2024 20:59 7m 46s set
set
April 30, 2024 20:59 7m 46s
rename some test files (#1106) .github/workflows/main.yml #1145: Commit df6f7bc pushed by fblanqui
April 30, 2024 20:58 7m 55s master
master
April 30, 2024 20:58 7m 55s
rename some test files .github/workflows/main.yml #1144: Commit fc2d5c3 pushed by fblanqui
April 30, 2024 20:01 8m 42s rename
rename
April 30, 2024 20:01 8m 42s
Merge remote-tracking branch 'dk/master' into set .github/workflows/main.yml #1143: Commit 21287fc pushed by fblanqui
April 30, 2024 12:46 8m 37s set
set
April 30, 2024 12:46 8m 37s
fix #1092 (#1105) .github/workflows/main.yml #1142: Commit 0a22cf9 pushed by fblanqui
April 30, 2024 12:46 9m 23s master
master
April 30, 2024 12:46 9m 23s
fix #1092 .github/workflows/main.yml #1141: Commit d29ac43 pushed by fblanqui
April 30, 2024 12:30 10m 54s make
make
April 30, 2024 12:30 10m 54s