Skip to content

Actions: fblanqui/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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