Skip to content

Actions: Deducteam/lambdapi-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

FOL: eta expand exist quantifier (#53) .github/workflows/main.yml #244: Commit 9ba9071 pushed by fblanqui
7m 32s master
master
7m 32s
FOL: eta expand exist quantifier .github/workflows/main.yml #243: Pull request #53 opened by fblanqui
7m 35s fblanqui:eta
fblanqui:eta
7m 35s
github_actions in /. - Update #1170615865 Dependabot Updates #86: by dependabot bot
29s master
master
29s
mapping to rocq stdlib .github/workflows/main.yml #242: Pull request #51 synchronize by Alidra
4m 1s fblanqui:rocq
fblanqui:rocq
4m 1s
mapping to rocq stdlib .github/workflows/main.yml #241: Pull request #51 synchronize by Alidra
3m 57s fblanqui:rocq
fblanqui:rocq
3m 57s
update CHANGES .github/workflows/main.yml #240: Commit b56ce7d pushed by Alidra
3m 57s test
test
3m 57s
update CHANGES .github/workflows/main.yml #239: Commit b56ce7d pushed by fblanqui
3m 54s 1.3.1
1.3.1
3m 54s
update CHANGES .github/workflows/main.yml #238: Commit b56ce7d pushed by fblanqui
3m 56s master
master
3m 56s
declare theorems as opaque symbols (#52) .github/workflows/main.yml #237: Commit 9f9f953 pushed by fblanqui
4m 6s master
master
4m 6s
declare theorems as opaque symbols .github/workflows/main.yml #236: Pull request #52 opened by fblanqui
4m 9s fblanqui:opaq
fblanqui:opaq
4m 9s
mapping to rocq stdlib .github/workflows/main.yml #235: Pull request #51 opened by fblanqui
3m 37s fblanqui:rocq
fblanqui:rocq
3m 37s
Bump actions/checkout from 5 to 6 (#50) .github/workflows/main.yml #234: Commit f33f97d pushed by fblanqui
7m 38s master
master
7m 38s
Bump actions/checkout from 5 to 6 .github/workflows/main.yml #233: Pull request #50 opened by dependabot bot
7m 34s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
7m 34s
Bump actions/checkout from 5 to 6 .github/workflows/main.yml #232: Commit 016e4a0 pushed by dependabot bot
7m 52s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
7m 52s
github_actions in /. - Update #1163474136 Dependabot Updates #85: by dependabot bot
37s master
master
37s
github_actions in /. - Update #1155426530 Dependabot Updates #84: by dependabot bot
28s master
master
28s
github_actions in /. - Update #1148419834 Dependabot Updates #83: by dependabot bot
27s master
master
27s
github_actions in /. - Update #1148381349 Dependabot Updates #82: by dependabot bot
32s master
master
32s
github_actions in /. - Update #1142534246 Dependabot Updates #81: by dependabot bot
35s master
master
35s
github_actions in /. - Update #1142514415 Dependabot Updates #80: by dependabot bot
53s master
master
53s
github_actions in /. - Update #1135946689 Dependabot Updates #79: by dependabot bot
27s master
master
27s
github_actions in /. - Update #1129951782 Dependabot Updates #78: by dependabot bot
33s master
master
33s
eta-expand forall argument (#49) .github/workflows/main.yml #231: Commit 229d487 pushed by fblanqui
7m 35s master
master
7m 35s
eta-expand forall argument .github/workflows/main.yml #230: Pull request #49 opened by fblanqui
7m 43s fblanqui:eta
fblanqui:eta
7m 43s
github_actions in /. - Update #1124374826 Dependabot Updates #77: by dependabot bot
28s master
master
28s