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

do not keep definition of opaque symbols only (fix #1035) (#1051) .github/workflows/main.yml #1065: Commit 7dab185 pushed by fblanqui
February 21, 2024 15:39 8m 2s master
master
February 21, 2024 15:39 8m 2s
do not keep definition of opaque symbols only (fix #1035) .github/workflows/main.yml #1064: Commit 10ce914 pushed by fblanqui
February 21, 2024 15:26 11m 38s prv
prv
February 21, 2024 15:26 11m 38s
Enforce locally nameless convention .github/workflows/main.yml #1063: Pull request #3 opened by barras
February 7, 2024 10:30 12m 17s barras:db
barras:db
February 7, 2024 10:30 12m 17s
update README (fix #1046) .github/workflows/main.yml #1062: Commit ef2c7a0 pushed by fblanqui
February 6, 2024 16:00 8m 24s 1046
1046
February 6, 2024 16:00 8m 24s
coq export: add mappings of erasing.lp in rmap if possible (#1040) .github/workflows/main.yml #1061: Commit a140014 pushed by fblanqui
February 1, 2024 11:20 7m 55s master
master
February 1, 2024 11:20 7m 55s
coq export: add mappings of erasing.lp in rmap if possible .github/workflows/main.yml #1060: Commit 9c13c6e pushed by fblanqui
February 1, 2024 11:07 8m 3s rename
rename
February 1, 2024 11:07 8m 3s
Add try tactic (#1032) .github/workflows/main.yml #1059: Commit bc447c9 pushed by fblanqui
January 30, 2024 15:39 7m 51s master
master
January 30, 2024 15:39 7m 51s
fix CONTRIBUTING.md (#1039) .github/workflows/main.yml #1058: Commit f227530 pushed by fblanqui
January 30, 2024 08:19 9m 30s master
master
January 30, 2024 08:19 9m 30s
update CHANGES .github/workflows/main.yml #1057: Commit cc93675 pushed by fblanqui
January 30, 2024 07:42 9m 7s doc
doc
January 30, 2024 07:42 9m 7s
fix CONTRIBUTING.md .github/workflows/main.yml #1056: Commit ecf9067 pushed by fblanqui
January 30, 2024 07:36 12m 39s doc
doc
January 30, 2024 07:36 12m 39s
add .github/dependabot.yml to check action updates weekly .github/workflows/main.yml #1055: Commit d303caa pushed by fblanqui
January 30, 2024 07:32 11m 14s github
github
January 30, 2024 07:32 11m 14s
coq export: do not translate module names (#1037) .github/workflows/main.yml #1054: Commit 1e967ad pushed by fblanqui
January 30, 2024 07:30 12m 3s master
master
January 30, 2024 07:30 12m 3s
coq export: do not translate module names .github/workflows/main.yml #1053: Commit 08842bb pushed by fblanqui
January 30, 2024 07:14 12m 43s coq
coq
January 30, 2024 07:14 12m 43s
Bump actions/checkout from 3 to 4 (#1029) .github/workflows/main.yml #1052: Commit b441123 pushed by fblanqui
January 22, 2024 18:17 11m 37s master
master
January 22, 2024 18:17 11m 37s
Bump actions/checkout from 3 to 4 .github/workflows/main.yml #1051: Commit 8eac141 pushed by fblanqui
January 22, 2024 18:03 11m 39s ci
ci
January 22, 2024 18:03 11m 39s
Merge remote-tracking branch 'dk/master' into db .github/workflows/main.yml #1050: Commit 24a54e8 pushed by fblanqui
December 19, 2023 09:37 8m 47s db
db
December 19, 2023 09:37 8m 47s
rewrite tactic: improve matches (fix #1026) (#1027) .github/workflows/main.yml #1049: Commit b18c342 pushed by fblanqui
December 19, 2023 09:22 11m 39s master
master
December 19, 2023 09:22 11m 39s
rewrite tactic: improve matches (fix #1026) .github/workflows/main.yml #1048: Commit 23e19b2 pushed by fblanqui
December 19, 2023 07:22 11m 39s 1026
1026
December 19, 2023 07:22 11m 39s
Makefile: remove LIB_ROOT (#1025) .github/workflows/main.yml #1047: Commit 0e0f265 pushed by fblanqui
November 30, 2023 14:58 8m 5s master
master
November 30, 2023 14:58 8m 5s
Makefile: remove LIB_ROOT .github/workflows/main.yml #1046: Commit 26bc86d pushed by fblanqui
November 30, 2023 14:44 8m 10s make
make
November 30, 2023 14:44 8m 10s
add missing deps in tests/regressions/dune (fix #983) .github/workflows/main.yml #1045: Commit 00891c4 pushed by fblanqui
November 30, 2023 14:44 8m 49s dune
dune
November 30, 2023 14:44 8m 49s
allow why3 1.7 (#1023) .github/workflows/main.yml #1044: Commit 903ab9e pushed by fblanqui
November 28, 2023 14:11 7m 54s master
master
November 28, 2023 14:11 7m 54s
allow why3 1.7 .github/workflows/main.yml #1043: Commit d0cb410 pushed by fblanqui
November 28, 2023 14:01 7m 56s why3
why3
November 28, 2023 14:01 7m 56s
fix Alert ocaml_deprecated_auto_include for unix .github/workflows/main.yml #1042: Commit 02e1b3f pushed by fblanqui
November 28, 2023 13:59 7m 51s dune
dune
November 28, 2023 13:59 7m 51s
WIP: Add opaque command (#1016) .github/workflows/main.yml #1041: Commit 5a3017d pushed by fblanqui
November 23, 2023 16:47 7m 39s master
master
November 23, 2023 16:47 7m 39s