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

remove dune warnings in export_dk/lp scripts .github/workflows/main.yml #1019: Commit 518e9eb pushed by fblanqui
August 1, 2023 12:39 14m 16s export
export
August 1, 2023 12:39 14m 16s
unif: test equality first, eval: add tags to eq_modulo (#1007) .github/workflows/main.yml #1018: Commit 68ff9ea pushed by fblanqui
August 1, 2023 10:22 13m 31s master
master
August 1, 2023 10:22 13m 31s
unif: test equality first, eval: add tags to eq_modulo .github/workflows/main.yml #1017: Commit ab4afd9 pushed by fblanqui
August 1, 2023 09:36 12m 41s 1006
1006
August 1, 2023 09:36 12m 41s
Merge remote-tracking branch 'lp/master' into db .github/workflows/main.yml #1016: Commit f137ca2 pushed by fblanqui
July 31, 2023 16:08 13m 55s db
db
July 31, 2023 16:08 13m 55s
Release 2.4.0 (#1005) .github/workflows/main.yml #1015: Commit 94bd815 pushed by fblanqui
July 31, 2023 16:07 17m 57s master
master
July 31, 2023 16:07 17m 57s
require dream >= 1.0.0~alpha3 .github/workflows/main.yml #1014: Commit 193d86c pushed by fblanqui
July 31, 2023 15:46 12m 43s release
release
July 31, 2023 15:46 12m 43s
update doc .github/workflows/main.yml #1013: Commit 68f62de pushed by fblanqui
July 29, 2023 14:23 14m 29s db
db
July 29, 2023 14:23 14m 29s
Merge remote-tracking branch 'lp/master' into db .github/workflows/main.yml #1012: Commit 0b16862 pushed by fblanqui
July 28, 2023 15:40 13m 40s db
db
July 28, 2023 15:40 13m 40s
Indexing and search for LambdaPi (#982) .github/workflows/main.yml #1011: Commit e168936 pushed by fblanqui
July 28, 2023 12:49 19m 1s master
master
July 28, 2023 12:49 19m 1s
Merge remote-tracking branch 'lp/master' into db .github/workflows/main.yml #1010: Commit e762e86 pushed by fblanqui
July 28, 2023 11:05 16m 42s db
db
July 28, 2023 11:05 16m 42s