Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
356 workflow runs
356 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/upload-artifact from 2 to 4 (#1063) .github/workflows/main.yml #2150: Commit 0822848 pushed by Alidra
March 6, 2024 15:34 9m 5s master
master
March 6, 2024 15:34 9m 5s
Bump actions/upload-artifact from 2 to 4 .github/workflows/main.yml #2149: Pull request #1063 synchronize by fblanqui
March 6, 2024 12:20 9m 0s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
March 6, 2024 12:20 9m 0s
Fix Dependabot/GitHub actions/actions/upload artifact 4 (#1065) .github/workflows/main.yml #2148: Commit cf607ec pushed by fblanqui
March 6, 2024 12:20 8m 21s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
March 6, 2024 12:20 8m 21s
Fix Dependabot/GitHub actions/actions/upload artifact 4 .github/workflows/main.yml #2147: Pull request #1065 opened by Alidra
March 6, 2024 11:04 7m 44s Alidra:dependabot/github_actions/actions/upload-artifact-4
Alidra:dependabot/github_actions/actions/upload-artifact-4
March 6, 2024 11:04 7m 44s
ci: use ocaml 5.1.1 instead of 5.1.0 (#1064) .github/workflows/main.yml #2146: Commit 9aa06c8 pushed by fblanqui
March 5, 2024 14:52 11m 44s master
master
March 5, 2024 14:52 11m 44s
ci: use ocaml 5.1.1 instead of 5.1.0 .github/workflows/main.yml #2145: Pull request #1064 opened by fblanqui
March 5, 2024 14:03 11m 22s fblanqui:ocaml
fblanqui:ocaml
March 5, 2024 14:03 11m 22s
Bump actions/setup-node from 3 to 4 (#1062) .github/workflows/main.yml #2144: Commit b5e46ed pushed by fblanqui
March 4, 2024 18:12 9m 9s master
master
March 4, 2024 18:12 9m 9s
Bump actions/upload-artifact from 2 to 4 .github/workflows/main.yml #2143: Pull request #1063 opened by dependabot bot
March 4, 2024 14:09 16m 37s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
March 4, 2024 14:09 16m 37s
Bump actions/upload-artifact from 2 to 4 .github/workflows/main.yml #2142: Commit 96b6282 pushed by dependabot bot
March 4, 2024 14:09 16m 5s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
March 4, 2024 14:09 16m 5s
Bump actions/setup-node from 3 to 4 .github/workflows/main.yml #2141: Pull request #1062 opened by dependabot bot
March 4, 2024 14:09 8m 39s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
March 4, 2024 14:09 8m 39s
Bump actions/setup-node from 3 to 4 .github/workflows/main.yml #2140: Commit 56edb0c pushed by dependabot bot
March 4, 2024 14:09 8m 30s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
March 4, 2024 14:09 8m 30s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2139: Pull request #843 synchronize by fblanqui
March 1, 2024 11:44 9m 11s fblanqui:db
fblanqui:db
March 1, 2024 11:44 9m 11s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2138: Pull request #843 synchronize by fblanqui
March 1, 2024 11:19 8m 32s fblanqui:db
fblanqui:db
March 1, 2024 11:19 8m 32s
Add export -o raw_dk (#1060) .github/workflows/main.yml #2137: Commit 6cd153e pushed by fblanqui
March 1, 2024 10:49 8m 58s master
master
March 1, 2024 10:49 8m 58s
Add syntactic export to dk .github/workflows/main.yml #2136: Pull request #1060 synchronize by fblanqui
March 1, 2024 09:39 12m 26s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 09:39 12m 26s
Add syntactic export to dk .github/workflows/main.yml #2135: Pull request #1060 edited by fblanqui
March 1, 2024 09:23 21m 56s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 09:23 21m 56s
Add syntactic export to dk .github/workflows/main.yml #2134: Pull request #1060 edited by fblanqui
March 1, 2024 09:22 22m 4s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 09:22 22m 4s
Add syntactic export to dk .github/workflows/main.yml #2133: Pull request #1060 synchronize by fblanqui
March 1, 2024 09:22 15m 17s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 09:22 15m 17s
Add syntactic export to dk .github/workflows/main.yml #2132: Pull request #1060 edited by fblanqui
March 1, 2024 09:21 15m 25s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 09:21 15m 25s
Add syntactic export to dk .github/workflows/main.yml #2131: Pull request #1060 edited by fblanqui
March 1, 2024 09:20 8m 35s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 09:20 8m 35s
Add syntactic export to dk .github/workflows/main.yml #2130: Pull request #1060 synchronize by fblanqui
March 1, 2024 09:20 9m 29s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 09:20 9m 29s
Add syntactic export to dk .github/workflows/main.yml #2129: Pull request #1060 synchronize by fblanqui
March 1, 2024 09:03 8m 47s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 09:03 8m 47s
Add syntactic export to dk .github/workflows/main.yml #2128: Pull request #1060 synchronize by fblanqui
March 1, 2024 08:46 7m 42s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 08:46 7m 42s
Add syntactic export to dk .github/workflows/main.yml #2127: Pull request #1060 synchronize by fblanqui
March 1, 2024 08:27 7m 39s fblanqui:raw_dk
fblanqui:raw_dk
March 1, 2024 08:27 7m 39s
Add syntactic export to dk .github/workflows/main.yml #2126: Pull request #1060 edited by fblanqui
February 29, 2024 17:50 13m 3s fblanqui:raw_dk
fblanqui:raw_dk
February 29, 2024 17:50 13m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-02-29 or the other filters available.