Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
469 workflow runs
469 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

extend decimal notation to integers .github/workflows/main.yml #2444: Pull request #1182 edited by fblanqui
January 24, 2025 20:46 10m 50s fblanqui:int
fblanqui:int
January 24, 2025 20:46 10m 50s
extend decimal notation to integers .github/workflows/main.yml #2443: Pull request #1182 opened by fblanqui
January 24, 2025 20:38 10m 37s fblanqui:int
fblanqui:int
January 24, 2025 20:38 10m 37s
Fix why3 tactic (WIP) .github/workflows/main.yml #2442: Pull request #1174 synchronize by fblanqui
January 24, 2025 14:15 12m 7s fblanqui:why3
fblanqui:why3
January 24, 2025 14:15 12m 7s
Fix why3 tactic (WIP) .github/workflows/main.yml #2441: Pull request #1174 edited by fblanqui
January 24, 2025 14:13 13m 4s fblanqui:why3
fblanqui:why3
January 24, 2025 14:13 13m 4s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2440: Pull request #843 synchronize by fblanqui
January 24, 2025 14:11 8m 30s fblanqui:db
fblanqui:db
January 24, 2025 14:11 8m 30s
new parser for lp files .github/workflows/main.yml #2439: Pull request #1129 synchronize by fblanqui
January 24, 2025 14:11 7m 13s fblanqui:parse
fblanqui:parse
January 24, 2025 14:11 7m 13s
improve Eval.eq_modulo (thanks Claudio Sacerdoti) (#1181) .github/workflows/main.yml #2438: Commit 5b81392 pushed by fblanqui
January 23, 2025 22:07 13m 8s master
master
January 23, 2025 22:07 13m 8s
improve Eval.eq_modulo (thanks Claudio Sacerdoti) .github/workflows/main.yml #2437: Pull request #1181 edited by fblanqui
January 23, 2025 22:07 9m 15s fblanqui:eval
fblanqui:eval
January 23, 2025 22:07 9m 15s
improve Eval.eq_modulo (thanks Claudio Sacerdoti) .github/workflows/main.yml #2436: Pull request #1181 synchronize by fblanqui
January 23, 2025 19:14 8m 4s fblanqui:eval
fblanqui:eval
January 23, 2025 19:14 8m 4s
improve Eval.eq_modulo (thanks Claudio Sacerdoti) .github/workflows/main.yml #2435: Pull request #1181 opened by fblanqui
January 23, 2025 19:14 7m 31s fblanqui:eval
fblanqui:eval
January 23, 2025 19:14 7m 31s
revert #1124 (#1180) .github/workflows/main.yml #2434: Commit ca1409f pushed by fblanqui
January 22, 2025 10:20 6m 58s master
master
January 22, 2025 10:20 6m 58s
revert #1124 .github/workflows/main.yml #2433: Pull request #1180 synchronize by fblanqui
January 22, 2025 10:11 7m 43s fblanqui:dbpath
fblanqui:dbpath
January 22, 2025 10:11 7m 43s
revert #1124 .github/workflows/main.yml #2432: Pull request #1180 edited by fblanqui
January 22, 2025 10:09 8m 38s fblanqui:dbpath
fblanqui:dbpath
January 22, 2025 10:09 8m 38s
indexing dbpath: do not call getenv since it may fail .github/workflows/main.yml #2431: Pull request #1124 edited by fblanqui
January 22, 2025 10:07 38s fblanqui:nogetenv
fblanqui:nogetenv
January 22, 2025 10:07 38s
revert #1124 .github/workflows/main.yml #2430: Pull request #1180 opened by fblanqui
January 22, 2025 10:05 6m 51s fblanqui:dbpath
fblanqui:dbpath
January 22, 2025 10:05 6m 51s
rename option --erasing into --mapping (#1179) .github/workflows/main.yml #2429: Commit 21ee7f3 pushed by fblanqui
January 21, 2025 13:35 7m 30s master
master
January 21, 2025 13:35 7m 30s
rename option --erasing into --mapping .github/workflows/main.yml #2428: Pull request #1179 opened by fblanqui
January 21, 2025 13:28 7m 7s fblanqui:erasing
fblanqui:erasing
January 21, 2025 13:28 7m 7s
github_actions in /. - Update #950636288 Dependabot Updates #6: by dependabot bot
January 20, 2025 14:55 36s master
master
January 20, 2025 14:55 36s
README.md: add links to Luc's developments .github/workflows/main.yml #2427: Commit 83cf0be pushed by fblanqui
January 15, 2025 13:19 6m 58s master
master
January 15, 2025 13:19 6m 58s
github_actions in /. - Update #947101543 Dependabot Updates #5: by dependabot bot
January 13, 2025 14:42 40s master
master
January 13, 2025 14:42 40s
Fix why3 tactic (WIP) .github/workflows/main.yml #2426: Pull request #1174 edited by fblanqui
January 10, 2025 14:47 7m 1s fblanqui:why3
fblanqui:why3
January 10, 2025 14:47 7m 1s
README.md: add user .github/workflows/main.yml #2425: Commit ccfa0e7 pushed by fblanqui
January 10, 2025 12:41 7m 24s master
master
January 10, 2025 12:41 7m 24s
README.md: update users (#1177) .github/workflows/main.yml #2424: Commit 1289df2 pushed by fblanqui
January 10, 2025 10:12 6m 59s master
master
January 10, 2025 10:12 6m 59s
README.md: update users .github/workflows/main.yml #2423: Pull request #1177 opened by fblanqui
January 10, 2025 10:11 7m 31s fblanqui:readme
fblanqui:readme
January 10, 2025 10:11 7m 31s
Fix why3 tactic (WIP) .github/workflows/main.yml #2422: Pull request #1174 synchronize by fblanqui
January 10, 2025 08:43 7m 36s fblanqui:why3
fblanqui:why3
January 10, 2025 08:43 7m 36s