Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
471 workflow runs
471 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reverts the configuration of eglot-move-to-column-function introduced… .github/workflows/main.yml #2159: Commit e30b979 pushed by fblanqui
March 29, 2024 10:56 11m 45s master
master
March 29, 2024 10:56 11m 45s
fix issue#638 : show log message when symbol is defined .github/workflows/main.yml #2158: Pull request #1070 synchronize by Alidra
March 29, 2024 10:51 7m 57s Alidra:fix/logMessages
Alidra:fix/logMessages
March 29, 2024 10:51 7m 57s
fix issue#638 : show log message when symbol is defined .github/workflows/main.yml #2157: Pull request #1070 opened by Alidra
March 28, 2024 10:25 11m 44s Alidra:fix/logMessages
Alidra:fix/logMessages
March 28, 2024 10:25 11m 44s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2156: Pull request #843 synchronize by fblanqui
March 19, 2024 17:43 6m 28s fblanqui:db
fblanqui:db
March 19, 2024 17:43 6m 28s
Reopen the goals panel if closed when navigating proofs (#1068) .github/workflows/main.yml #2155: Commit abe073d pushed by Alidra
March 19, 2024 17:17 12m 34s master
master
March 19, 2024 17:17 12m 34s
Reopen the goals panel if closed when navigating proofs .github/workflows/main.yml #2154: Pull request #1068 synchronize by Alidra
March 19, 2024 17:01 8m 3s Alidra:feat/reopenGoalsPanel
Alidra:feat/reopenGoalsPanel
March 19, 2024 17:01 8m 3s
Reopen the goals panel if closed when navigating proofs .github/workflows/main.yml #2153: Pull request #1068 synchronize by Alidra
March 19, 2024 14:10 8m 41s Alidra:feat/reopenGoalsPanel
Alidra:feat/reopenGoalsPanel
March 19, 2024 14:10 8m 41s
Reopen the goals panel if closed when navigating proofs .github/workflows/main.yml #2152: Pull request #1068 synchronize by Alidra
March 19, 2024 10:29 7m 54s Alidra:feat/reopenGoalsPanel
Alidra:feat/reopenGoalsPanel
March 19, 2024 10:29 7m 54s
Reopen the goals panel if closed when navigating proofs .github/workflows/main.yml #2151: Pull request #1068 opened by Alidra
March 18, 2024 17:49 11m 38s Alidra:feat/reopenGoalsPanel
Alidra:feat/reopenGoalsPanel
March 18, 2024 17:49 11m 38s
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
ProTip! You can narrow down the results and go further in time using created:<2024-03-01 or the other filters available.