Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
351 workflow runs
351 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coq export: do not translate module names .github/workflows/main.yml #2070: Pull request #1037 opened by fblanqui
January 30, 2024 07:15 7m 54s fblanqui:coq
fblanqui:coq
January 30, 2024 07:15 7m 54s
Fix compiling pack of rules .github/workflows/main.yml #2069: Pull request #1036 edited by gabrielhdt
January 27, 2024 13:26 8m 1s gabrielhdt:iss1033
gabrielhdt:iss1033
January 27, 2024 13:26 8m 1s
Fix compiling pack of rules .github/workflows/main.yml #2068: Pull request #1036 synchronize by gabrielhdt
January 27, 2024 13:24 7m 39s gabrielhdt:iss1033
gabrielhdt:iss1033
January 27, 2024 13:24 7m 39s
Fix compiling pack of rules .github/workflows/main.yml #2067: Pull request #1036 opened by gabrielhdt
January 27, 2024 13:03 5m 42s gabrielhdt:iss1033
gabrielhdt:iss1033
January 27, 2024 13:03 5m 42s
Add try tactic .github/workflows/main.yml #2066: Pull request #1032 opened by NotBad4U
January 25, 2024 10:00 7m 57s NotBad4U:try-tactic
NotBad4U:try-tactic
January 25, 2024 10:00 7m 57s
Bump actions/checkout from 3 to 4 (#1029) .github/workflows/main.yml #2065: Commit b441123 pushed by fblanqui
January 22, 2024 18:16 11m 48s master
master
January 22, 2024 18:16 11m 48s
Bump actions/checkout from 3 to 4 .github/workflows/main.yml #2064: Pull request #1029 opened by fblanqui
January 22, 2024 18:04 11m 18s fblanqui:ci
fblanqui:ci
January 22, 2024 18:04 11m 18s
Exports for the format TRS + small improvement to HRS export .github/workflows/main.yml #2063: Pull request #1028 edited by thiagofelicissimo
January 22, 2024 13:15 8m 8s thiagofelicissimo:new_exports
thiagofelicissimo:new_exports
January 22, 2024 13:15 8m 8s
Exports for the format TRS + small improvement to HRS export .github/workflows/main.yml #2062: Pull request #1028 synchronize by thiagofelicissimo
January 22, 2024 09:50 7m 59s thiagofelicissimo:new_exports
thiagofelicissimo:new_exports
January 22, 2024 09:50 7m 59s
Exports for the format TRS + small improvement to HRS export .github/workflows/main.yml #2061: Pull request #1028 edited by thiagofelicissimo
January 22, 2024 09:44 5m 48s thiagofelicissimo:new_exports
thiagofelicissimo:new_exports
January 22, 2024 09:44 5m 48s
Exports for the format TRS + small improvement to HRS export .github/workflows/main.yml #2060: Pull request #1028 synchronize by thiagofelicissimo
January 22, 2024 09:34 6m 19s thiagofelicissimo:new_exports
thiagofelicissimo:new_exports
January 22, 2024 09:34 6m 19s
Exports for the format TRS + small improvement to HRS export .github/workflows/main.yml #2059: Pull request #1028 edited by thiagofelicissimo
January 19, 2024 10:28 8m 16s thiagofelicissimo:new_exports
thiagofelicissimo:new_exports
January 19, 2024 10:28 8m 16s
Exports for the format TRS + small improvement to HRS export .github/workflows/main.yml #2058: Pull request #1028 opened by thiagofelicissimo
January 19, 2024 08:38 11m 41s thiagofelicissimo:new_exports
thiagofelicissimo:new_exports
January 19, 2024 08:38 11m 41s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2057: Pull request #843 synchronize by fblanqui
December 19, 2023 09:37 9m 21s fblanqui:db
fblanqui:db
December 19, 2023 09:37 9m 21s
rewrite tactic: improve matches (fix #1026) (#1027) .github/workflows/main.yml #2056: Commit b18c342 pushed by fblanqui
December 19, 2023 09:21 11m 23s master
master
December 19, 2023 09:21 11m 23s
rewrite tactic: improve matches (fix #1026) .github/workflows/main.yml #2055: Pull request #1027 opened by fblanqui
December 19, 2023 07:23 11m 19s fblanqui:1026
fblanqui:1026
December 19, 2023 07:23 11m 19s
Makefile: remove LIB_ROOT (#1025) .github/workflows/main.yml #2054: Commit 0e0f265 pushed by fblanqui
November 30, 2023 14:57 8m 33s master
master
November 30, 2023 14:57 8m 33s
add missing deps in tests/regressions/dune (fix #983) (#1024) .github/workflows/main.yml #2053: Commit 076d9a8 pushed by fblanqui
November 30, 2023 14:56 7m 53s master
master
November 30, 2023 14:56 7m 53s
Makefile: remove LIB_ROOT .github/workflows/main.yml #2052: Pull request #1025 opened by fblanqui
November 30, 2023 14:48 7m 59s fblanqui:make
fblanqui:make
November 30, 2023 14:48 7m 59s
add missing deps in tests/regressions/dune (fix #983) .github/workflows/main.yml #2051: Pull request #1024 opened by fblanqui
November 30, 2023 14:48 7m 52s fblanqui:dune
fblanqui:dune
November 30, 2023 14:48 7m 52s
allow why3 1.7 (#1023) .github/workflows/main.yml #2050: Commit 903ab9e pushed by fblanqui
November 28, 2023 14:10 8m 55s master
master
November 28, 2023 14:10 8m 55s
fix Alert ocaml_deprecated_auto_include for unix (#1022) .github/workflows/main.yml #2049: Commit eaae086 pushed by fblanqui
November 28, 2023 14:10 8m 13s master
master
November 28, 2023 14:10 8m 13s
allow why3 1.7 .github/workflows/main.yml #2048: Pull request #1023 opened by fblanqui
November 28, 2023 14:02 7m 58s fblanqui:why3
fblanqui:why3
November 28, 2023 14:02 7m 58s
fix Alert ocaml_deprecated_auto_include for unix .github/workflows/main.yml #2047: Pull request #1022 opened by fblanqui
November 28, 2023 13:59 7m 35s fblanqui:dune
fblanqui:dune
November 28, 2023 13:59 7m 35s
WIP: Add opaque command (#1016) .github/workflows/main.yml #2046: Commit 5a3017d pushed by fblanqui
November 23, 2023 16:44 7m 39s master
master
November 23, 2023 16:44 7m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-11-23 or the other filters available.