Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor Fixes in the Emacs extension .github/workflows/main.yml #2381: Pull request #1168 opened by Alidra
December 27, 2024 19:06 11m 56s Alidra:emacs_recentreGoals
Alidra:emacs_recentreGoals
December 27, 2024 19:06 11m 56s
github_actions in /. - Update #937097244 Dependabot Updates #2: by dependabot bot
December 23, 2024 14:54 36s master
master
December 23, 2024 14:54 36s
Document Macos shortcuts (#1161) .github/workflows/main.yml #2380: Commit 50f02fc pushed by fblanqui
December 19, 2024 10:57 7m 43s master
master
December 19, 2024 10:57 7m 43s
Document Macos shortcuts .github/workflows/main.yml #2379: Pull request #1161 synchronize by Alidra
December 19, 2024 10:28 7m 38s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 19, 2024 10:28 7m 38s
Change the way lsp server is launched from Vscode extension (#1164) .github/workflows/main.yml #2378: Commit ad4666d pushed by fblanqui
December 19, 2024 09:49 7m 28s master
master
December 19, 2024 09:49 7m 28s
Change the way lsp server is launched from Vscode extension .github/workflows/main.yml #2377: Pull request #1164 synchronize by Alidra
December 19, 2024 09:32 7m 44s Alidra:vscode_lpPath
Alidra:vscode_lpPath
December 19, 2024 09:32 7m 44s
Change the way lsp server is launched from Vscode extension .github/workflows/main.yml #2376: Pull request #1164 opened by Alidra
December 18, 2024 23:04 7m 7s Alidra:vscode_lpPath
Alidra:vscode_lpPath
December 18, 2024 23:04 7m 7s
detail .github/workflows/main.yml #2375: Commit 35a5beb pushed by fblanqui
December 18, 2024 09:48 7m 0s master
master
December 18, 2024 09:48 7m 0s
Document Macos shortcuts .github/workflows/main.yml #2374: Pull request #1161 synchronize by Alidra
December 17, 2024 16:58 7m 45s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 17, 2024 16:58 7m 45s
Document Macos shortcuts .github/workflows/main.yml #2373: Pull request #1161 edited by fblanqui
December 17, 2024 15:36 1m 51s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 17, 2024 15:36 1m 51s
Document Macos shortcuts .github/workflows/main.yml #2372: Pull request #1161 edited by fblanqui
December 17, 2024 15:34 1m 57s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 17, 2024 15:34 1m 57s
Document Macos shortcuts .github/workflows/main.yml #2371: Pull request #1161 synchronize by Alidra
December 17, 2024 14:38 2m 21s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 17, 2024 14:38 2m 21s
github_actions in /. - Update #933483245 Dependabot Updates #1: by dependabot bot
December 16, 2024 14:34 35s master
master
December 16, 2024 14:34 35s
Document Macos shortcuts .github/workflows/main.yml #2370: Pull request #1161 synchronize by Alidra
December 15, 2024 21:46 7m 17s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 15, 2024 21:46 7m 17s
Document Macos shortcuts .github/workflows/main.yml #2369: Pull request #1161 synchronize by Alidra
December 12, 2024 11:23 1m 25s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 12, 2024 11:23 1m 25s
Document Macos shortcuts .github/workflows/main.yml #2368: Pull request #1161 synchronize by Alidra
December 12, 2024 11:18 6m 56s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 12, 2024 11:18 6m 56s
Document Macos shortcuts .github/workflows/main.yml #2367: Pull request #1161 opened by Alidra
December 12, 2024 09:37 12m 28s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 12, 2024 09:37 12m 28s
partially revert #1157: use Require Import instead of Require Export … .github/workflows/main.yml #2366: Commit c24b28e pushed by fblanqui
November 28, 2024 17:14 6m 52s master
master
November 28, 2024 17:14 6m 52s
coq export: use Require Import instead of Require Export .github/workflows/main.yml #2365: Pull request #1158 opened by fblanqui
November 28, 2024 16:20 6m 46s fblanqui:coq
fblanqui:coq
November 28, 2024 16:20 6m 46s
update CHANGES .github/workflows/main.yml #2364: Commit 069da89 pushed by fblanqui
November 25, 2024 20:55 8m 50s master
master
November 25, 2024 20:55 8m 50s
coq export: use Require Export instead of Require Import (#1157) .github/workflows/main.yml #2363: Commit 31aef37 pushed by fblanqui
November 25, 2024 20:51 10m 43s master
master
November 25, 2024 20:51 10m 43s
coq export: use Require Export instead of Require Import .github/workflows/main.yml #2362: Pull request #1157 edited by fblanqui
November 25, 2024 20:50 6m 50s fblanqui:require
fblanqui:require
November 25, 2024 20:50 6m 50s
coq export: use Require Export instead of Require Import .github/workflows/main.yml #2361: Pull request #1157 synchronize by fblanqui
November 25, 2024 20:01 7m 5s fblanqui:require
fblanqui:require
November 25, 2024 20:01 7m 5s
coq export: use Require Export instead of Require Import .github/workflows/main.yml #2360: Pull request #1157 synchronize by fblanqui
November 25, 2024 19:12 7m 4s fblanqui:require
fblanqui:require
November 25, 2024 19:12 7m 4s
coq export: use Require Export instead of Require Import .github/workflows/main.yml #2359: Pull request #1157 opened by fblanqui
November 25, 2024 13:23 7m 8s fblanqui:require
fblanqui:require
November 25, 2024 13:23 7m 8s