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 bnf .github/workflows/main.yml #1140: Commit 5c463dc pushed by fblanqui
April 30, 2024 12:24 8m 24s neg
neg
April 30, 2024 12:24 8m 24s
add test file .github/workflows/main.yml #1139: Commit 50c3757 pushed by fblanqui
April 30, 2024 12:23 9m 24s neg
neg
April 30, 2024 12:23 9m 24s
fix #1103 .github/workflows/main.yml #1138: Commit 6adb830 pushed by fblanqui
April 30, 2024 12:12 8m 25s neg
neg
April 30, 2024 12:12 8m 25s
wip .github/workflows/main.yml #1137: Commit 5b90602 pushed by fblanqui
April 30, 2024 09:48 7m 56s set
set
April 30, 2024 09:48 7m 56s
wip .github/workflows/main.yml #1136: Commit 20ea1dc pushed by fblanqui
April 30, 2024 09:26 8m 13s set
set
April 30, 2024 09:26 8m 13s
wip .github/workflows/main.yml #1135: Commit 07f00f5 pushed by fblanqui
April 30, 2024 09:15 8m 10s set
set
April 30, 2024 09:15 8m 10s
wip .github/workflows/main.yml #1134: Commit a62bb26 pushed by fblanqui
April 30, 2024 09:00 8m 7s set
set
April 30, 2024 09:00 8m 7s
wip .github/workflows/main.yml #1133: Commit 7cd6ae2 pushed by fblanqui
April 30, 2024 06:59 8m 22s set
set
April 30, 2024 06:59 8m 22s
fix of_prod_using .github/workflows/main.yml #1132: Commit e95a676 pushed by fblanqui
April 29, 2024 14:13 8m 20s set
set
April 29, 2024 14:13 8m 20s
details .github/workflows/main.yml #1131: Commit ed4cceb pushed by fblanqui
April 29, 2024 13:52 7m 59s set
set
April 29, 2024 13:52 7m 59s
fix Eval.simplify and Goal.simpl .github/workflows/main.yml #1130: Commit a9a155f pushed by fblanqui
April 29, 2024 13:33 8m 16s set
set
April 29, 2024 13:33 8m 16s
print definitions in lsp clients .github/workflows/main.yml #1129: Commit 49b1882 pushed by fblanqui
April 29, 2024 13:08 10m 8s set
set
April 29, 2024 13:08 10m 8s
wip .github/workflows/main.yml #1128: Commit 532297f pushed by fblanqui
April 27, 2024 05:54 8m 6s set
set
April 27, 2024 05:54 8m 6s
add flag print_meta_args (#1100) .github/workflows/main.yml #1127: Commit 965fdae pushed by fblanqui
April 26, 2024 09:18 7m 52s master
master
April 26, 2024 09:18 7m 52s
add flag print_meta_args .github/workflows/main.yml #1126: Commit 5f62c57 pushed by fblanqui
April 26, 2024 09:06 8m 14s meta-args
meta-args
April 26, 2024 09:06 8m 14s
fix issue #1097 - meta numbering reset (#1099) .github/workflows/main.yml #1125: Commit 2f54828 pushed by fblanqui
April 26, 2024 09:00 8m 17s master
master
April 26, 2024 09:00 8m 17s
wip .github/workflows/main.yml #1124: Commit 4d9274a pushed by fblanqui
April 26, 2024 08:44 8m 35s pure
pure
April 26, 2024 08:44 8m 35s
lsp: fix meta numbering reset (issue #1097) .github/workflows/main.yml #1123: Commit 5839c6d pushed by fblanqui
April 26, 2024 08:34 8m 26s pure
pure
April 26, 2024 08:34 8m 26s
Fix #554 (#1095) .github/workflows/main.yml #1122: Commit 5f606fa pushed by fblanqui
April 26, 2024 07:26 8m 6s master
master
April 26, 2024 07:26 8m 6s
fix typo in user manual .github/workflows/main.yml #1121: Commit 50fce21 pushed by fblanqui
April 24, 2024 14:44 8m 1s master
master
April 24, 2024 14:44 8m 1s
Parse integers and negative floats for notations (#1093) .github/workflows/main.yml #1120: Commit 0902592 pushed by fblanqui
April 24, 2024 14:43 8m 16s master
master
April 24, 2024 14:43 8m 16s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1119: Commit 4f260a9 pushed by fblanqui
April 23, 2024 17:21 9m 27s db
db
April 23, 2024 17:21 9m 27s
coq export: do not fail, only warn when a command is not translated +… .github/workflows/main.yml #1118: Commit cc2e8ba pushed by fblanqui
April 23, 2024 17:20 9m 27s master
master
April 23, 2024 17:20 9m 27s
coq export: do not fail, only warn when a command is not translated +… .github/workflows/main.yml #1117: Commit 30fe6b9 pushed by fblanqui
April 23, 2024 16:50 9m 5s coq
coq
April 23, 2024 16:50 9m 5s
Fix issue #1001 (#1087) .github/workflows/main.yml #1116: Commit 51263d6 pushed by fblanqui
April 23, 2024 10:15 8m 11s master
master
April 23, 2024 10:15 8m 11s