Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
532 workflow runs
532 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix why3 tactic (WIP) .github/workflows/main.yml #2486: Pull request #1174 edited by fblanqui
January 28, 2025 14:11 10m 37s fblanqui:why3
fblanqui:why3
January 28, 2025 14:11 10m 37s
Fix why3 tactic (WIP) .github/workflows/main.yml #2485: Pull request #1174 edited by fblanqui
January 28, 2025 14:04 10m 40s fblanqui:why3
fblanqui:why3
January 28, 2025 14:04 10m 40s
Fix why3 tactic (WIP) .github/workflows/main.yml #2484: Pull request #1174 edited by fblanqui
January 28, 2025 13:51 16m 18s fblanqui:why3
fblanqui:why3
January 28, 2025 13:51 16m 18s
Fix why3 tactic (WIP) .github/workflows/main.yml #2483: Pull request #1174 edited by fblanqui
January 28, 2025 13:50 13m 22s fblanqui:why3
fblanqui:why3
January 28, 2025 13:50 13m 22s
Fix why3 tactic (WIP) .github/workflows/main.yml #2482: Pull request #1174 synchronize by fblanqui
January 27, 2025 18:03 11m 1s fblanqui:why3
fblanqui:why3
January 27, 2025 18:03 11m 1s
Fix why3 tactic (WIP) .github/workflows/main.yml #2481: Pull request #1174 synchronize by fblanqui
January 27, 2025 17:20 11m 20s fblanqui:why3
fblanqui:why3
January 27, 2025 17:20 11m 20s
new parser for lp files .github/workflows/main.yml #2480: Pull request #1129 synchronize by fblanqui
January 27, 2025 14:19 17m 44s fblanqui:parse
fblanqui:parse
January 27, 2025 14:19 17m 44s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2479: Pull request #843 synchronize by fblanqui
January 27, 2025 14:19 9m 6s fblanqui:db
fblanqui:db
January 27, 2025 14:19 9m 6s
tests/OK/natural.lp: add builtins for printing Peano numbers in decim… .github/workflows/main.yml #2478: Commit 956dcf7 pushed by fblanqui
January 27, 2025 14:14 15m 9s master
master
January 27, 2025 14:14 15m 9s
tests/OK/natural.lp: add builtins for printing Peano numbers in decimal .github/workflows/main.yml #2477: Pull request #1186 edited by fblanqui
January 27, 2025 14:01 10m 25s fblanqui:natural
fblanqui:natural
January 27, 2025 14:01 10m 25s
tests/OK/natural.lp: add builtins for printing Peano numbers in decimal .github/workflows/main.yml #2476: Pull request #1186 opened by fblanqui
January 27, 2025 14:01 10m 31s fblanqui:natural
fblanqui:natural
January 27, 2025 14:01 10m 31s
Fix why3 tactic (WIP) .github/workflows/main.yml #2475: Pull request #1174 synchronize by fblanqui
January 25, 2025 18:37 10m 41s fblanqui:why3
fblanqui:why3
January 25, 2025 18:37 10m 41s
new parser for lp files .github/workflows/main.yml #2474: Pull request #1129 synchronize by fblanqui
January 25, 2025 17:04 10m 48s fblanqui:parse
fblanqui:parse
January 25, 2025 17:04 10m 48s
new parser for lp files .github/workflows/main.yml #2473: Pull request #1129 synchronize by fblanqui
January 25, 2025 16:33 13m 30s fblanqui:parse
fblanqui:parse
January 25, 2025 16:33 13m 30s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2472: Pull request #843 edited by fblanqui
January 25, 2025 16:31 15m 6s fblanqui:db
fblanqui:db
January 25, 2025 16:31 15m 6s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2471: Pull request #843 edited by fblanqui
January 25, 2025 16:30 9m 5s fblanqui:db
fblanqui:db
January 25, 2025 16:30 9m 5s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2470: Pull request #843 edited by fblanqui
January 25, 2025 16:30 8m 30s fblanqui:db
fblanqui:db
January 25, 2025 16:30 8m 30s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2469: Pull request #843 synchronize by fblanqui
January 25, 2025 16:19 8m 37s fblanqui:db
fblanqui:db
January 25, 2025 16:19 8m 37s
Fix why3 tactic (WIP) .github/workflows/main.yml #2468: Pull request #1174 synchronize by fblanqui
January 25, 2025 16:09 10m 51s fblanqui:why3
fblanqui:why3
January 25, 2025 16:09 10m 51s
do not check critical pairs with sequential symbols (fix #1140) (#1185) .github/workflows/main.yml #2467: Commit 9a8550d pushed by fblanqui
January 25, 2025 15:50 10m 42s master
master
January 25, 2025 15:50 10m 42s
do not check critical pairs with sequential symbols (fix #1140) .github/workflows/main.yml #2466: Pull request #1185 synchronize by fblanqui
January 25, 2025 15:29 11m 19s fblanqui:lcr
fblanqui:lcr
January 25, 2025 15:29 11m 19s
do not check critical pairs with sequential symbols (fix #1140) .github/workflows/main.yml #2465: Pull request #1185 opened by fblanqui
January 25, 2025 15:26 3m 27s fblanqui:lcr
fblanqui:lcr
January 25, 2025 15:26 3m 27s
lpLexer: fix definition of int .github/workflows/main.yml #2464: Pull request #1183 edited by fblanqui
January 25, 2025 13:16 11m 43s fblanqui:lex
fblanqui:lex
January 25, 2025 13:16 11m 43s
emacs: add shortcuts for unicode characters (#1184) .github/workflows/main.yml #2463: Commit 20749ec pushed by fblanqui
January 25, 2025 11:44 10m 43s master
master
January 25, 2025 11:44 10m 43s
Emacs: add shortcuts for some unicode characters .github/workflows/main.yml #2462: Pull request #1184 opened by fblanqui
January 25, 2025 11:44 14m 10s fblanqui:unicode
fblanqui:unicode
January 25, 2025 11:44 14m 10s