Skip to content

Actions: Alidra/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/main.yml .github/workflows/main.yml #64: Manually run by Alidra
April 5, 2024 12:54 6m 10s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 12:54 6m 10s
test secret .github/workflows/main.yml #63: Commit 859ad6e pushed by Alidra
April 5, 2024 12:51 2m 4s feat/vscodeAutoPublish
feat/vscodeAutoPublish
April 5, 2024 12:51 2m 4s
Fix/logs when missing pkg (#1075) .github/workflows/main.yml #62: Commit f9689ac pushed by Alidra
April 5, 2024 09:43 8m 15s master
master
April 5, 2024 09:43 8m 15s
fix/logs : minor changes in error messages .github/workflows/main.yml #61: Commit 0d4094d pushed by Alidra
April 5, 2024 07:12 8m 8s fix/logsWhenMissingPkg
fix/logsWhenMissingPkg
April 5, 2024 07:12 8m 8s
update CHANGES.md .github/workflows/main.yml #60: Commit bf06264 pushed by Alidra
April 4, 2024 22:01 8m 17s fix/logsWhenMissingPkg
fix/logsWhenMissingPkg
April 4, 2024 22:01 8m 17s
modify lp_lsp to handle Fatal error .github/workflows/main.yml #59: Commit c5d9c2b pushed by Alidra
April 4, 2024 21:48 7m 48s fix/logsWhenMissingPkg
fix/logsWhenMissingPkg
April 4, 2024 21:48 7m 48s
fix issue#638 : show log message when symbol is defined (#1070) .github/workflows/main.yml #58: Commit ef44a7c pushed by Alidra
April 4, 2024 13:43 11m 31s master
master
April 4, 2024 13:43 11m 31s
fixed console messages when lambdapi.pkg is missing .github/workflows/main.yml #57: Commit 34db787 pushed by Alidra
April 4, 2024 13:42 10m 40s fix/logsMissingpkg
fix/logsMissingpkg
April 4, 2024 13:42 10m 40s
fix logs by collecting them after calling pdata_serializer in lp_doc.ml .github/workflows/main.yml #56: Commit 622a5ad pushed by Alidra
March 29, 2024 21:32 7m 59s fix/logMessages
fix/logMessages
March 29, 2024 21:32 7m 59s
make sanity_check pass (#1072) .github/workflows/main.yml #55: Commit 9eab1da pushed by Alidra
March 29, 2024 17:48 11m 31s master
master
March 29, 2024 17:48 11m 31s
add wanings to the print function .github/workflows/main.yml #54: Commit 2b3ea4c pushed by Alidra
March 29, 2024 14:21 7m 59s fix/logMessages
fix/logMessages
March 29, 2024 14:21 7m 59s
add code to print logs in get_proof_data .github/workflows/main.yml #53: Commit 1f5dbcf pushed by Alidra
March 29, 2024 11:05 8m 8s fix/logMessages
fix/logMessages
March 29, 2024 11:05 8m 8s
code refactoring of function get_proof_data .github/workflows/main.yml #52: Commit 799a13a pushed by Alidra
March 29, 2024 10:51 7m 56s fix/logMessages
fix/logMessages
March 29, 2024 10:51 7m 56s
fix issue#638 : show log message when symbol is defined .github/workflows/main.yml #51: Commit 51d476a pushed by Alidra
March 28, 2024 10:09 11m 47s fix/logMessages
fix/logMessages
March 28, 2024 10:09 11m 47s
Reopen the goals panel if closed when navigating proofs (#1068) .github/workflows/main.yml #50: Commit abe073d pushed by Alidra
March 19, 2024 19:37 7m 57s master
master
March 19, 2024 19:37 7m 57s
fix/ReopenGoalsPan: update CHANGE.md .github/workflows/main.yml #49: Commit 4718c8c pushed by Alidra
March 19, 2024 17:01 8m 4s feat/reopenGoalsPanel
feat/reopenGoalsPanel
March 19, 2024 17:01 8m 4s
fix/ReopenGoalsPan: remove redundant check on info panel .github/workflows/main.yml #48: Commit de5a132 pushed by Alidra
March 19, 2024 14:10 8m 0s feat/reopenGoalsPanel
feat/reopenGoalsPanel
March 19, 2024 14:10 8m 0s
refactor : get ride of debug messages .github/workflows/main.yml #47: Commit 4e9133b pushed by Alidra
March 19, 2024 10:28 7m 42s feat/reopenGoalsPanel
feat/reopenGoalsPanel
March 19, 2024 10:28 7m 42s
fix/ReopenGoalsPan: release focus after Goals panel creation .github/workflows/main.yml #46: Commit c2e9078 pushed by Alidra
March 18, 2024 16:26 8m 34s feat/reopenGoalsPanel
feat/reopenGoalsPanel
March 18, 2024 16:26 8m 34s
code refactoring moving register commands outside activateLsp method .github/workflows/main.yml #45: Commit 620c823 pushed by Alidra
March 18, 2024 13:32 8m 32s feat/reopenGoalsPanel
feat/reopenGoalsPanel
March 18, 2024 13:32 8m 32s
Bump actions/upload-artifact from 2 to 4 (#1063) .github/workflows/main.yml #44: Commit 0822848 pushed by Alidra
March 11, 2024 10:07 10m 47s master
master
March 11, 2024 10:07 10m 47s
feat/pipeline/vscode : use nodejs version 20 instead of 16 .github/workflows/main.yml #43: Commit cd9fde7 pushed by Alidra
March 5, 2024 15:48 8m 6s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
March 5, 2024 15:48 8m 6s
use nodejs version 20 .github/workflows/main.yml #42: Commit 7706366 pushed by Alidra
March 5, 2024 15:35 32s testnodejsVersioninpipeline
testnodejsVersioninpipeline
March 5, 2024 15:35 32s
try to make pipeline fail with wrong nodejs version .github/workflows/main.yml #41: Commit 979b7ec pushed by Alidra
March 5, 2024 15:33 12s testnodejsVersioninpipeline
testnodejsVersioninpipeline
March 5, 2024 15:33 12s
fix/pipeline/vscode : use a dedicated job to generate the vscode exte… .github/workflows/main.yml #40: Commit 402e4e4 pushed by Alidra
March 5, 2024 15:10 8m 35s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
March 5, 2024 15:10 8m 35s