Skip to content

Actions: Deducteam/lambdapi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
355 workflow runs
355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update CONTRIBUTING.md (#1094) .github/workflows/main.yml #2224: Commit bc7e377 pushed by fblanqui
April 24, 2024 13:18 8m 21s master
master
April 24, 2024 13:18 8m 21s
Listings.tex has been removed .github/workflows/main.yml #2223: Pull request #1094 synchronize by gabrielhdt
April 24, 2024 12:59 8m 45s gabrielhdt:update-contribution
gabrielhdt:update-contribution
April 24, 2024 12:59 8m 45s
Parse integers and negative floats for notations .github/workflows/main.yml #2222: Pull request #1093 synchronize by gabrielhdt
April 24, 2024 12:45 9m 59s gabrielhdt:iss706
gabrielhdt:iss706
April 24, 2024 12:45 9m 59s
Parse integers and negative floats for notations .github/workflows/main.yml #2221: Pull request #1093 synchronize by gabrielhdt
April 24, 2024 12:42 6m 35s gabrielhdt:iss706
gabrielhdt:iss706
April 24, 2024 12:42 6m 35s
Set properly standard emacs package .github/workflows/main.yml #2220: Pull request #1090 synchronize by gabrielhdt
April 24, 2024 12:39 8m 42s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 24, 2024 12:39 8m 42s
Parse integers and negative floats for notations .github/workflows/main.yml #2219: Pull request #1093 synchronize by gabrielhdt
April 24, 2024 10:43 8m 29s gabrielhdt:iss706
gabrielhdt:iss706
April 24, 2024 10:43 8m 29s
Parse integers and negative floats for notations .github/workflows/main.yml #2218: Pull request #1093 synchronize by gabrielhdt
April 24, 2024 10:15 6m 11s gabrielhdt:iss706
gabrielhdt:iss706
April 24, 2024 10:15 6m 11s
Listings.tex has been removed .github/workflows/main.yml #2217: Pull request #1094 opened by gabrielhdt
April 24, 2024 10:11 8m 36s gabrielhdt:update-contribution
gabrielhdt:update-contribution
April 24, 2024 10:11 8m 36s
Parse integers and negative floats for notations .github/workflows/main.yml #2216: Pull request #1093 opened by gabrielhdt
April 24, 2024 10:05 6m 1s gabrielhdt:iss706
gabrielhdt:iss706
April 24, 2024 10:05 6m 1s
Set properly standard emacs package .github/workflows/main.yml #2215: Pull request #1090 synchronize by gabrielhdt
April 24, 2024 08:32 8m 37s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 24, 2024 08:32 8m 37s
Set properly standard emacs package .github/workflows/main.yml #2214: Pull request #1090 synchronize by gabrielhdt
April 24, 2024 07:38 10m 30s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 24, 2024 07:38 10m 30s
Set properly standard emacs package .github/workflows/main.yml #2213: Pull request #1090 edited by gabrielhdt
April 24, 2024 07:32 12m 6s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 24, 2024 07:32 12m 6s
Set properly standard emacs package .github/workflows/main.yml #2212: Pull request #1090 synchronize by gabrielhdt
April 24, 2024 07:32 8m 34s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 24, 2024 07:32 8m 34s
Set properly standard emacs package .github/workflows/main.yml #2211: Pull request #1090 synchronize by gabrielhdt
April 24, 2024 07:29 8m 32s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 24, 2024 07:29 8m 32s
Replace Bindlib by de Bruijn indices .github/workflows/main.yml #2210: Pull request #843 synchronize by fblanqui
April 23, 2024 17:21 9m 48s fblanqui:db
fblanqui:db
April 23, 2024 17:21 9m 48s
coq export: do not fail, only warn when a command is not translated +… .github/workflows/main.yml #2209: Commit cc2e8ba pushed by fblanqui
April 23, 2024 17:19 9m 18s master
master
April 23, 2024 17:19 9m 18s
coq export: do not fail, only warn when a command is not translated .github/workflows/main.yml #2208: Pull request #1091 edited by fblanqui
April 23, 2024 16:53 13m 12s fblanqui:coq
fblanqui:coq
April 23, 2024 16:53 13m 12s
coq export: do not fail, only warn when a command is not translated .github/workflows/main.yml #2207: Pull request #1091 opened by fblanqui
April 23, 2024 16:51 10m 14s fblanqui:coq
fblanqui:coq
April 23, 2024 16:51 10m 14s
Set properly standard emacs package .github/workflows/main.yml #2206: Pull request #1090 edited by gabrielhdt
April 23, 2024 16:40 17m 30s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 23, 2024 16:40 17m 30s
Set properly standard emacs package .github/workflows/main.yml #2205: Pull request #1090 edited by gabrielhdt
April 23, 2024 16:40 8m 31s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 23, 2024 16:40 8m 31s
Set properly standard emacs package .github/workflows/main.yml #2204: Pull request #1090 synchronize by gabrielhdt
April 23, 2024 16:40 8m 22s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 23, 2024 16:40 8m 22s
Set properly standard emacs package .github/workflows/main.yml #2203: Pull request #1090 edited by gabrielhdt
April 23, 2024 14:33 8m 17s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 23, 2024 14:33 8m 17s
Set properly standard emacs package .github/workflows/main.yml #2202: Pull request #1090 opened by gabrielhdt
April 23, 2024 14:25 8m 13s gabrielhdt:emacs-mode-revision
gabrielhdt:emacs-mode-revision
April 23, 2024 14:25 8m 13s
Fix issue #1001 (#1087) .github/workflows/main.yml #2201: Commit 51263d6 pushed by fblanqui
April 23, 2024 10:15 8m 5s master
master
April 23, 2024 10:15 8m 5s
Fix issue #1001 .github/workflows/main.yml #2200: Pull request #1087 synchronize by fblanqui
April 23, 2024 10:03 8m 19s gabrielhdt:iss1001
gabrielhdt:iss1001
April 23, 2024 10:03 8m 19s