Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
462 workflow runs
462 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/main.yml .github/workflows/main.yml #2493: by fblanqui
January 28, 2025 15:00 11m 34s 2.6.0
2.6.0
January 28, 2025 15:00 11m 34s
new parser for lp files .github/workflows/main.yml #2492: Pull request #1129 synchronize by fblanqui
January 28, 2025 14:54 10m 26s fblanqui:parse
fblanqui:parse
January 28, 2025 14:54 10m 26s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2491: Pull request #843 synchronize by fblanqui
January 28, 2025 14:54 8m 45s fblanqui:db
fblanqui:db
January 28, 2025 14:54 8m 45s
Fix why3 tactic (#1174) .github/workflows/main.yml #2490: Commit 8cb0bd7 pushed by fblanqui
January 28, 2025 14:40 10m 40s master
master
January 28, 2025 14:40 10m 40s
Fix why3 tactic (WIP) .github/workflows/main.yml #2489: Pull request #1174 synchronize by fblanqui
January 28, 2025 14:18 19m 44s fblanqui:why3
fblanqui:why3
January 28, 2025 14:18 19m 44s
Fix why3 tactic (WIP) .github/workflows/main.yml #2488: Pull request #1174 edited by fblanqui
January 28, 2025 14:15 16m 18s fblanqui:why3
fblanqui:why3
January 28, 2025 14:15 16m 18s
Fix why3 tactic (WIP) .github/workflows/main.yml #2487: Pull request #1174 edited by fblanqui
January 28, 2025 14:12 12m 40s fblanqui:why3
fblanqui:why3
January 28, 2025 14:12 12m 40s
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