Skip to content

Actions: Deducteam/lambdapi-stdlib

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated PropExt.lp (#37) .github/workflows/main.yml #194: Commit fd72eb5 pushed by fblanqui
March 22, 2025 08:14 14m 32s master
master
March 22, 2025 08:14 14m 32s
Updated PropExt.lp .github/workflows/main.yml #193: Pull request #37 opened by melanie-taprogge
March 21, 2025 21:01 7m 7s melanie-taprogge:master
melanie-taprogge:master
March 21, 2025 21:01 7m 7s
remove rmfilter (#36) .github/workflows/main.yml #192: Commit c658be4 pushed by fblanqui
March 10, 2025 12:57 9m 2s master
master
March 10, 2025 12:57 9m 2s
remove rmfilter .github/workflows/main.yml #191: Pull request #36 opened by fblanqui
March 10, 2025 12:47 5m 11s fblanqui:rmfilter
fblanqui:rmfilter
March 10, 2025 12:47 5m 11s
Addition of FunExt.lp, PropExt.lp and some theorems (#35) .github/workflows/main.yml #190: Commit cad56f8 pushed by fblanqui
March 5, 2025 21:29 3m 42s master
master
March 5, 2025 21:29 3m 42s
Addition of FunExt.lp, PropExt.lp and some theorems .github/workflows/main.yml #189: Pull request #35 synchronize by melanie-taprogge
March 5, 2025 18:35 3m 56s melanie-taprogge:master
melanie-taprogge:master
March 5, 2025 18:35 3m 56s
Addition of FunExt.lp, PropExt.lp and some theorems .github/workflows/main.yml #188: Pull request #35 synchronize by melanie-taprogge
March 5, 2025 15:25 4m 32s melanie-taprogge:master
melanie-taprogge:master
March 5, 2025 15:25 4m 32s
Addition of FunExt.lp, PropExt.lp and some theorems .github/workflows/main.yml #187: Pull request #35 opened by melanie-taprogge
March 4, 2025 16:53 4m 18s melanie-taprogge:master
melanie-taprogge:master
March 4, 2025 16:53 4m 18s
add Option, String and Tactic .github/workflows/main.yml #186: Pull request #34 synchronize by fblanqui
February 25, 2025 18:41 3m 59s fblanqui:tac
fblanqui:tac
February 25, 2025 18:41 3m 59s
add Option, String and Tactic .github/workflows/main.yml #185: Pull request #34 synchronize by fblanqui
February 25, 2025 18:38 3m 24s fblanqui:tac
fblanqui:tac
February 25, 2025 18:38 3m 24s
Set: move cartesian product to a separate file, and change notation f… .github/workflows/main.yml #184: Commit 704cc1a pushed by fblanqui
February 25, 2025 18:33 7m 22s master
master
February 25, 2025 18:33 7m 22s
add Option, String and Tactic .github/workflows/main.yml #183: Pull request #34 opened by fblanqui
February 25, 2025 18:27 7m 9s fblanqui:tac
fblanqui:tac
February 25, 2025 18:27 7m 9s
Set: move cartesian product to separate file and change pair notation .github/workflows/main.yml #182: Pull request #33 opened by fblanqui
February 25, 2025 16:23 7m 16s fblanqui:prod
fblanqui:prod
February 25, 2025 16:23 7m 16s
ci: check lambdapi 2.6.0 .github/workflows/main.yml #181: Commit 47db76e pushed by fblanqui
February 4, 2025 15:52 3m 59s 1.2.0
1.2.0
February 4, 2025 15:52 3m 59s
ci: test old versions of lambdapi .github/workflows/main.yml #180: Pull request #31 opened by fblanqui
February 4, 2025 15:45 4m 56s fblanqui:ci
fblanqui:ci
February 4, 2025 15:45 4m 56s
ci: check lambdapi 2.6.0 .github/workflows/main.yml #179: Commit 47db76e pushed by fblanqui
February 4, 2025 15:42 4m 40s master
master
February 4, 2025 15:42 4m 40s
prepare new release .github/workflows/main.yml #178: Commit 39f728f pushed by fblanqui
February 4, 2025 15:40 4m 18s master
master
February 4, 2025 15:40 4m 18s
Details (#30) .github/workflows/main.yml #177: Commit bd9470e pushed by fblanqui
February 4, 2025 15:37 5m 1s 1.2.0
1.2.0
February 4, 2025 15:37 5m 1s
Details (#30) .github/workflows/main.yml #176: Commit bd9470e pushed by fblanqui
January 31, 2025 13:49 3m 47s master
master
January 31, 2025 13:49 3m 47s
Details .github/workflows/main.yml #175: Pull request #30 synchronize by fblanqui
January 31, 2025 13:42 3m 41s fblanqui:details
fblanqui:details
January 31, 2025 13:42 3m 41s
Details .github/workflows/main.yml #174: Pull request #30 opened by fblanqui
January 31, 2025 13:28 3m 44s fblanqui:details
fblanqui:details
January 31, 2025 13:28 3m 44s
Set: add axiom saying that sets are non-empty (#27) .github/workflows/main.yml #173: Commit 2a4794a pushed by fblanqui
January 31, 2025 13:26 3m 42s master
master
January 31, 2025 13:26 3m 42s
Set: add axiom saying that sets are non-empty .github/workflows/main.yml #172: Pull request #27 synchronize by fblanqui
January 31, 2025 13:19 4m 2s fblanqui:el
fblanqui:el
January 31, 2025 13:19 4m 2s
Adapt to lambdapi PR1182 + some renamings and fixes (#29) .github/workflows/main.yml #171: Commit 1fff6f4 pushed by fblanqui
January 25, 2025 12:54 7m 28s master
master
January 25, 2025 12:54 7m 28s
Adapt to lambdapi PR1182 + some renamings and fixes .github/workflows/main.yml #170: Pull request #29 synchronize by fblanqui
January 25, 2025 12:41 7m 15s fblanqui:int
fblanqui:int
January 25, 2025 12:41 7m 15s