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

new parser for lp files .github/workflows/main.yml #2320: Pull request #1129 synchronize by fblanqui
July 31, 2024 20:50 7m 1s fblanqui:parse
fblanqui:parse
July 31, 2024 20:50 7m 1s
new parser for lp files .github/workflows/main.yml #2319: Pull request #1129 edited by fblanqui
July 31, 2024 20:40 9m 17s fblanqui:parse
fblanqui:parse
July 31, 2024 20:40 9m 17s
new parser for lp files .github/workflows/main.yml #2318: Pull request #1129 edited by fblanqui
July 31, 2024 20:37 7m 37s fblanqui:parse
fblanqui:parse
July 31, 2024 20:37 7m 37s
new parser for lp files .github/workflows/main.yml #2317: Pull request #1129 opened by fblanqui
July 31, 2024 20:32 6m 36s fblanqui:parse
fblanqui:parse
July 31, 2024 20:32 6m 36s
release 2.5.1 (#1127) .github/workflows/main.yml #2316: Commit 230d572 pushed by fblanqui
July 29, 2024 16:58 6m 37s 2.5.1
2.5.1
July 29, 2024 16:58 6m 37s
release 2.5.1 (#1127) .github/workflows/main.yml #2315: Commit 230d572 pushed by fblanqui
July 29, 2024 16:56 10m 22s master
master
July 29, 2024 16:56 10m 22s
prepare release 2.5.1 .github/workflows/main.yml #2314: Pull request #1127 synchronize by fblanqui
July 27, 2024 14:29 6m 34s fblanqui:release
fblanqui:release
July 27, 2024 14:29 6m 34s
prepare release 2.5.1 .github/workflows/main.yml #2313: Pull request #1127 edited by fblanqui
July 22, 2024 11:10 10m 33s fblanqui:release
fblanqui:release
July 22, 2024 11:10 10m 33s
prepare release 2.5.1 .github/workflows/main.yml #2312: Pull request #1127 opened by fblanqui
July 22, 2024 11:10 10m 30s fblanqui:release
fblanqui:release
July 22, 2024 11:10 10m 30s
Bump avsm/setup-ocaml from 2 to 3 (#1125) .github/workflows/main.yml #2311: Commit e119c8c pushed by fblanqui
July 22, 2024 09:33 10m 23s 2.5.1
2.5.1
July 22, 2024 09:33 10m 23s
Fix/vscode plugin .github/workflows/main.yml #2310: Pull request #1126 opened by Alidra
July 18, 2024 14:17 38s Alidra:fix/VscodePlugin
Alidra:fix/VscodePlugin
July 18, 2024 14:17 38s
Bump avsm/setup-ocaml from 2 to 3 (#1125) .github/workflows/main.yml #2309: Commit e119c8c pushed by fblanqui
July 8, 2024 15:14 10m 59s master
master
July 8, 2024 15:14 10m 59s
Bump avsm/setup-ocaml from 2 to 3 .github/workflows/main.yml #2308: Pull request #1125 opened by dependabot bot
July 8, 2024 14:27 10m 25s dependabot/github_actions/avsm/setup-ocaml-3
dependabot/github_actions/avsm/setup-ocaml-3
July 8, 2024 14:27 10m 25s
Bump avsm/setup-ocaml from 2 to 3 .github/workflows/main.yml #2307: Commit c087a43 pushed by dependabot bot
July 8, 2024 14:27 10m 29s dependabot/github_actions/avsm/setup-ocaml-3
dependabot/github_actions/avsm/setup-ocaml-3
July 8, 2024 14:27 10m 29s
add tactic set .github/workflows/main.yml #2306: Pull request #1101 synchronize by fblanqui
June 24, 2024 12:18 9m 2s fblanqui:set
fblanqui:set
June 24, 2024 12:18 9m 2s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2305: Pull request #843 synchronize by fblanqui
June 24, 2024 12:00 8m 53s fblanqui:db
fblanqui:db
June 24, 2024 12:00 8m 53s
update CHANGES.md .github/workflows/main.yml #2304: Commit 2b8fd31 pushed by fblanqui
June 24, 2024 11:59 8m 50s master
master
June 24, 2024 11:59 8m 50s
indexing dbpath: do not call getenv since it may fail (#1124) .github/workflows/main.yml #2303: Commit 0a3a2c4 pushed by fblanqui
June 24, 2024 11:49 8m 42s master
master
June 24, 2024 11:49 8m 42s
indexing dbpath: do not call getenv since it may fail .github/workflows/main.yml #2302: Pull request #1124 opened by fblanqui
June 24, 2024 11:39 8m 31s fblanqui:nogetenv
fblanqui:nogetenv
June 24, 2024 11:39 8m 31s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2301: Pull request #843 synchronize by fblanqui
June 24, 2024 10:47 14m 22s fblanqui:db
fblanqui:db
June 24, 2024 10:47 14m 22s
catch Sedlexing errors (#1123) .github/workflows/main.yml #2300: Commit 2cb70da pushed by fblanqui
June 24, 2024 10:46 8m 20s master
master
June 24, 2024 10:46 8m 20s
catch Sedlexing errors .github/workflows/main.yml #2299: Pull request #1123 opened by fblanqui
June 24, 2024 10:34 8m 38s fblanqui:err
fblanqui:err
June 24, 2024 10:34 8m 38s
fix [email protected] warning (#1119) .github/workflows/main.yml #2298: Commit 51d6eec pushed by fblanqui
June 21, 2024 05:10 12m 20s master
master
June 21, 2024 05:10 12m 20s
fix [email protected] warning .github/workflows/main.yml #2297: Pull request #1119 opened by Alidra
June 20, 2024 11:21 12m 3s Alidra:master
Alidra:master
June 20, 2024 11:21 12m 3s
Vscode extension : fix type in Make file (#1114) .github/workflows/main.yml #2296: Commit 391c381 pushed by fblanqui
May 17, 2024 10:59 11m 30s master
master
May 17, 2024 10:59 11m 30s