Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
351 workflow runs
351 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 7m 43s Alidra:macos-shortcuts
Alidra:macos-shortcuts
December 12, 2024 11:23 7m 43s
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
Fix the list of messages to be displayed in terminal due to position … .github/workflows/main.yml #2358: Commit d926581 pushed by fblanqui
November 18, 2024 17:03 10m 47s master
master
November 18, 2024 17:03 10m 47s
Fix the list of messages to be displayed in terminal due to position error .github/workflows/main.yml #2357: Pull request #1150 opened by Alidra
November 15, 2024 09:22 10m 40s Alidra:I1144_console
Alidra:I1144_console
November 15, 2024 09:22 10m 40s
update CHANGES .github/workflows/main.yml #2356: Commit a67c0be pushed by fblanqui
November 11, 2024 17:16 6m 56s master
master
November 11, 2024 17:16 6m 56s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2355: Pull request #843 synchronize by fblanqui
November 11, 2024 10:40 8m 46s fblanqui:db
fblanqui:db
November 11, 2024 10:40 8m 46s
add tactic set (#1101) .github/workflows/main.yml #2354: Commit bd45582 pushed by fblanqui
November 10, 2024 16:40 7m 2s master
master
November 10, 2024 16:40 7m 2s
add tactic set .github/workflows/main.yml #2353: Pull request #1101 synchronize by fblanqui
November 10, 2024 16:32 6m 44s fblanqui:set
fblanqui:set
November 10, 2024 16:32 6m 44s
LSP: leave goals unchanged in case of error .github/workflows/main.yml #2352: Pull request #1145 edited by fblanqui
November 7, 2024 12:44 11m 9s Alidra:fixI114
Alidra:fixI114
November 7, 2024 12:44 11m 9s
LSP: leave goals unchanged in case of error when handling a tactic (#… .github/workflows/main.yml #2351: Commit fb45b54 pushed by fblanqui
November 7, 2024 12:42 7m 37s master
master
November 7, 2024 12:42 7m 37s
LSP: leave goals unchanged in case of error .github/workflows/main.yml #2350: Pull request #1145 synchronize by Alidra
November 7, 2024 12:26 7m 11s Alidra:fixI114
Alidra:fixI114
November 7, 2024 12:26 7m 11s
LSP: leave goals unchanged in case of error .github/workflows/main.yml #2349: Pull request #1145 synchronize by Alidra
November 7, 2024 09:07 6m 50s Alidra:fixI114
Alidra:fixI114
November 7, 2024 09:07 6m 50s
wip .github/workflows/main.yml #2348: Commit df65ba4 pushed by ejgallego
October 31, 2024 17:37 4m 15s fleche
fleche
October 31, 2024 17:37 4m 15s
new parser for lp files .github/workflows/main.yml #2347: Pull request #1129 synchronize by fblanqui
October 30, 2024 01:19 15m 18s fblanqui:parse
fblanqui:parse
October 30, 2024 01:19 15m 18s
add tactic set .github/workflows/main.yml #2346: Pull request #1101 synchronize by fblanqui
October 30, 2024 01:18 14m 29s fblanqui:set
fblanqui:set
October 30, 2024 01:18 14m 29s