Skip to content

Actions: fblanqui/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update CHANGES .github/workflows/main.yml #1194: Commit a67c0be pushed by fblanqui
November 11, 2024 17:16 7m 1s master
master
November 11, 2024 17:16 7m 1s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1193: Commit e9ea382 pushed by fblanqui
November 11, 2024 10:40 7m 20s db
db
November 11, 2024 10:40 7m 20s
add tactic set (#1101) .github/workflows/main.yml #1192: Commit bd45582 pushed by fblanqui
November 10, 2024 16:40 10m 58s master
master
November 10, 2024 16:40 10m 58s
details .github/workflows/main.yml #1191: Commit 195ca29 pushed by fblanqui
November 10, 2024 16:32 10m 33s set
set
November 10, 2024 16:32 10m 33s
Merge remote-tracking branch 'dk/master' into nodream .github/workflows/main.yml #1190: Commit 6205012 pushed by fblanqui
October 30, 2024 01:19 14m 44s nodream
nodream
October 30, 2024 01:19 14m 44s
Merge remote-tracking branch 'dk/master' into parse .github/workflows/main.yml #1189: Commit aeb5376 pushed by fblanqui
October 30, 2024 01:19 15m 3s parse
parse
October 30, 2024 01:19 15m 3s
Merge remote-tracking branch 'dk/master' into set .github/workflows/main.yml #1188: Commit 9dbfd5f pushed by fblanqui
October 30, 2024 01:18 11m 37s set
set
October 30, 2024 01:18 11m 37s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1187: Commit bdba910 pushed by fblanqui
October 30, 2024 01:18 8m 0s db
db
October 30, 2024 01:18 8m 0s
Doc: clarify ac canonical forms (#1147) .github/workflows/main.yml #1186: Commit 3223066 pushed by fblanqui
October 30, 2024 01:11 10m 29s master
master
October 30, 2024 01:11 10m 29s
doc: clarify ac canonical forms .github/workflows/main.yml #1185: Commit 562043f pushed by fblanqui
October 30, 2024 00:03 19m 13s doc
doc
October 30, 2024 00:03 19m 13s
ci: test ocaml 4.14.2 instead of 4.14.1 .github/workflows/main.yml #1184: Commit ed0f696 pushed by fblanqui
October 30, 2024 00:03 10m 34s ci
ci
October 30, 2024 00:03 10m 34s
fix induction command (issue #1141) (#1142) .github/workflows/main.yml #1183: Commit 7f6e007 pushed by fblanqui
October 10, 2024 15:57 8m 8s master
master
October 10, 2024 15:57 8m 8s
fix induction command (issue #1141) .github/workflows/main.yml #1182: Commit 4cb7429 pushed by fblanqui
October 10, 2024 15:34 7m 56s ind
ind
October 10, 2024 15:34 7m 56s
Release minor version 0.2.2.1 (#1135) .github/workflows/main.yml #1181: Commit 3d519c5 pushed by fblanqui
October 10, 2024 08:30 10m 22s master
master
October 10, 2024 08:30 10m 22s
Merge remote-tracking branch 'dk/master' into nodream .github/workflows/main.yml #1180: Commit 11a0004 pushed by fblanqui
August 30, 2024 12:03 5m 43s nodream
nodream
August 30, 2024 12:03 5m 43s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1179: Commit 7757b36 pushed by fblanqui
August 30, 2024 12:02 7m 16s db
db
August 30, 2024 12:02 7m 16s
Merge remote-tracking branch 'dk/master' into set .github/workflows/main.yml #1178: Commit 27bcb94 pushed by fblanqui
August 30, 2024 11:42 14m 37s set
set
August 30, 2024 11:42 14m 37s
add comment in tutorial (#1132) .github/workflows/main.yml #1177: Commit 82d2d39 pushed by fblanqui
August 30, 2024 11:41 10m 5s master
master
August 30, 2024 11:41 10m 5s
add comment in tutorial .github/workflows/main.yml #1176: Commit 193ed51 pushed by fblanqui
August 30, 2024 11:18 10m 8s tuto
tuto
August 30, 2024 11:18 10m 8s
wip .github/workflows/main.yml #1175: Commit 4c8c8ee pushed by fblanqui
August 2, 2024 17:48 6m 46s parse
parse
August 2, 2024 17:48 6m 46s
extend new parser to search command .github/workflows/main.yml #1174: Commit c13d4ec pushed by fblanqui
August 1, 2024 18:51 6m 33s parse
parse
August 1, 2024 18:51 6m 33s
wip .github/workflows/main.yml #1173: Commit f414bc8 pushed by fblanqui
July 31, 2024 20:50 6m 36s parse
parse
July 31, 2024 20:50 6m 36s
new parser .github/workflows/main.yml #1172: Commit 4c33890 pushed by fblanqui
July 31, 2024 20:26 6m 58s parse
parse
July 31, 2024 20:26 6m 58s
release 2.5.1 (#1127) .github/workflows/main.yml #1171: Commit 230d572 pushed by fblanqui
July 29, 2024 16:59 6m 31s master
master
July 29, 2024 16:59 6m 31s
wip .github/workflows/main.yml #1170: Commit 0f204a0 pushed by fblanqui
July 27, 2024 14:29 6m 36s release
release
July 27, 2024 14:29 6m 36s