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

use why3 1.8.0 (#1176) .github/workflows/main.yml #2421: Commit bd5ff1c pushed by fblanqui
January 10, 2025 07:25 7m 47s master
master
January 10, 2025 07:25 7m 47s
use why3 1.8.0 .github/workflows/main.yml #2420: Pull request #1176 synchronize by fblanqui
January 9, 2025 18:41 7m 37s fblanqui:why3.1.8.0
fblanqui:why3.1.8.0
January 9, 2025 18:41 7m 37s
use why3 1.8.0 .github/workflows/main.yml #2419: Pull request #1176 opened by fblanqui
January 9, 2025 17:58 9m 52s fblanqui:why3.1.8.0
fblanqui:why3.1.8.0
January 9, 2025 17:58 9m 52s
new parser for lp files .github/workflows/main.yml #2418: Pull request #1129 synchronize by fblanqui
January 9, 2025 17:53 13m 46s fblanqui:parse
fblanqui:parse
January 9, 2025 17:53 13m 46s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2417: Pull request #843 synchronize by fblanqui
January 9, 2025 17:53 10m 53s fblanqui:db
fblanqui:db
January 9, 2025 17:53 10m 53s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2416: Pull request #843 synchronize by fblanqui
January 9, 2025 17:52 5m 10s fblanqui:db
fblanqui:db
January 9, 2025 17:52 5m 10s
Fix why3 tactic (WIP) .github/workflows/main.yml #2415: Pull request #1174 synchronize by fblanqui
January 9, 2025 17:35 10m 48s fblanqui:why3
fblanqui:why3
January 9, 2025 17:35 10m 48s
Does not allow underscores in assume tactic (#1171) .github/workflows/main.yml #2414: Commit 3d1786b pushed by fblanqui
January 9, 2025 17:34 7m 3s master
master
January 9, 2025 17:34 7m 3s
ci: test ocaml 5.3.0 (#1175) .github/workflows/main.yml #2413: Commit 2c4f099 pushed by fblanqui
January 9, 2025 15:42 10m 50s master
master
January 9, 2025 15:42 10m 50s
ci: test ocaml 5.3.0 .github/workflows/main.yml #2412: Pull request #1175 opened by fblanqui
January 9, 2025 15:23 11m 50s fblanqui:ci
fblanqui:ci
January 9, 2025 15:23 11m 50s
Does not allow underscores in assume tactic .github/workflows/main.yml #2411: Pull request #1171 synchronize by fblanqui
January 9, 2025 15:17 11m 3s fblanqui:anonymous
fblanqui:anonymous
January 9, 2025 15:17 11m 3s
Fix why3 tactic (WIP) .github/workflows/main.yml #2410: Pull request #1174 edited by fblanqui
January 9, 2025 15:14 9m 2s fblanqui:why3
fblanqui:why3
January 9, 2025 15:14 9m 2s
Fix why3 tactic (WIP) .github/workflows/main.yml #2409: Pull request #1174 synchronize by fblanqui
January 9, 2025 15:13 6m 58s fblanqui:why3
fblanqui:why3
January 9, 2025 15:13 6m 58s
Fix why3 tactic (WIP) .github/workflows/main.yml #2408: Pull request #1174 edited by fblanqui
January 9, 2025 12:15 6m 52s fblanqui:why3
fblanqui:why3
January 9, 2025 12:15 6m 52s
Fix why3 tactic (WIP) .github/workflows/main.yml #2407: Pull request #1174 synchronize by fblanqui
January 9, 2025 12:12 6m 49s fblanqui:why3
fblanqui:why3
January 9, 2025 12:12 6m 49s
Fix why3 tactic (WIP) .github/workflows/main.yml #2406: Pull request #1174 edited by fblanqui
January 8, 2025 16:14 12m 13s fblanqui:why3
fblanqui:why3
January 8, 2025 16:14 12m 13s
Fix why3 tactic (WIP) .github/workflows/main.yml #2405: Pull request #1174 edited by fblanqui
January 8, 2025 16:14 8m 35s fblanqui:why3
fblanqui:why3
January 8, 2025 16:14 8m 35s
Fix why3 tactic (WIP) .github/workflows/main.yml #2404: Pull request #1174 synchronize by fblanqui
January 8, 2025 16:10 8m 14s fblanqui:why3
fblanqui:why3
January 8, 2025 16:10 8m 14s
github_actions in /. - Update #943688148 Dependabot Updates #4: by dependabot bot
January 6, 2025 14:44 39s master
master
January 6, 2025 14:44 39s
new parser for lp files .github/workflows/main.yml #2403: Pull request #1129 synchronize by fblanqui
January 2, 2025 18:39 6m 42s fblanqui:parse
fblanqui:parse
January 2, 2025 18:39 6m 42s
Fix why3 tactic (WIP) .github/workflows/main.yml #2402: Pull request #1174 edited by fblanqui
January 2, 2025 18:15 19m 1s fblanqui:why3
fblanqui:why3
January 2, 2025 18:15 19m 1s
Fix why3 tactic (WIP) .github/workflows/main.yml #2401: Pull request #1174 edited by fblanqui
January 2, 2025 18:15 15m 37s fblanqui:why3
fblanqui:why3
January 2, 2025 18:15 15m 37s
Fix why3 tactic (WIP) .github/workflows/main.yml #2400: Pull request #1174 opened by fblanqui
January 2, 2025 18:13 13m 5s fblanqui:why3
fblanqui:why3
January 2, 2025 18:13 13m 5s
Does not allow underscores in assume tactic .github/workflows/main.yml #2399: Pull request #1171 synchronize by fblanqui
January 2, 2025 18:12 12m 41s fblanqui:anonymous
fblanqui:anonymous
January 2, 2025 18:12 12m 41s
new parser for lp files .github/workflows/main.yml #2398: Pull request #1129 synchronize by fblanqui
January 2, 2025 18:11 4m 13s fblanqui:parse
fblanqui:parse
January 2, 2025 18:11 4m 13s