Skip to content

Actions: fblanqui/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
prepare release 2.5.1 .github/workflows/main.yml #1169: Commit 35495a4 pushed by fblanqui
July 22, 2024 11:09 6m 42s release
release
July 22, 2024 11:09 6m 42s
Bump avsm/setup-ocaml from 2 to 3 (#1125) .github/workflows/main.yml #1168: Commit e119c8c pushed by fblanqui
July 17, 2024 15:18 10m 18s master
master
July 17, 2024 15:18 10m 18s
Merge remote-tracking branch 'dk/master' into set .github/workflows/main.yml #1167: Commit ef88e51 pushed by fblanqui
June 24, 2024 12:18 8m 38s set
set
June 24, 2024 12:18 8m 38s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1166: Commit 6e123bd pushed by fblanqui
June 24, 2024 12:00 9m 15s db
db
June 24, 2024 12:00 9m 15s