Skip to content

Actions: Deducteam/lambdapi

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
461 workflow runs
461 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix why3 tactic (WIP) .github/workflows/main.yml #2468: Pull request #1174 synchronize by fblanqui
January 25, 2025 16:09 10m 51s fblanqui:why3
fblanqui:why3
January 25, 2025 16:09 10m 51s
do not check critical pairs with sequential symbols (fix #1140) (#1185) .github/workflows/main.yml #2467: Commit 9a8550d pushed by fblanqui
January 25, 2025 15:50 10m 42s master
master
January 25, 2025 15:50 10m 42s
do not check critical pairs with sequential symbols (fix #1140) .github/workflows/main.yml #2466: Pull request #1185 synchronize by fblanqui
January 25, 2025 15:29 11m 19s fblanqui:lcr
fblanqui:lcr
January 25, 2025 15:29 11m 19s
do not check critical pairs with sequential symbols (fix #1140) .github/workflows/main.yml #2465: Pull request #1185 opened by fblanqui
January 25, 2025 15:26 3m 27s fblanqui:lcr
fblanqui:lcr
January 25, 2025 15:26 3m 27s
lpLexer: fix definition of int .github/workflows/main.yml #2464: Pull request #1183 edited by fblanqui
January 25, 2025 13:16 11m 43s fblanqui:lex
fblanqui:lex
January 25, 2025 13:16 11m 43s
emacs: add shortcuts for unicode characters (#1184) .github/workflows/main.yml #2463: Commit 20749ec pushed by fblanqui
January 25, 2025 11:44 10m 43s master
master
January 25, 2025 11:44 10m 43s
Emacs: add shortcuts for some unicode characters .github/workflows/main.yml #2462: Pull request #1184 opened by fblanqui
January 25, 2025 11:44 14m 10s fblanqui:unicode
fblanqui:unicode
January 25, 2025 11:44 14m 10s
lpLexer: fix definition of int (#1183) .github/workflows/main.yml #2461: Commit 1f2a2f7 pushed by fblanqui
January 25, 2025 11:32 15m 38s master
master
January 25, 2025 11:32 15m 38s
lpLexer: fix definition of int .github/workflows/main.yml #2460: Pull request #1183 opened by fblanqui
January 25, 2025 11:32 10m 23s fblanqui:lex
fblanqui:lex
January 25, 2025 11:32 10m 23s
extend decimal notation to integers (#1182) .github/workflows/main.yml #2459: Commit 22a95c4 pushed by fblanqui
January 25, 2025 11:16 10m 53s master
master
January 25, 2025 11:16 10m 53s
extend decimal notation to integers .github/workflows/main.yml #2458: Pull request #1182 edited by fblanqui
January 25, 2025 09:11 16m 34s fblanqui:int
fblanqui:int
January 25, 2025 09:11 16m 34s
extend decimal notation to integers .github/workflows/main.yml #2457: Pull request #1182 synchronize by fblanqui
January 25, 2025 09:09 8m 25s fblanqui:int
fblanqui:int
January 25, 2025 09:09 8m 25s
extend decimal notation to integers .github/workflows/main.yml #2456: Pull request #1182 edited by fblanqui
January 25, 2025 09:03 5m 23s fblanqui:int
fblanqui:int
January 25, 2025 09:03 5m 23s
extend decimal notation to integers .github/workflows/main.yml #2455: Pull request #1182 edited by fblanqui
January 25, 2025 09:02 6m 36s fblanqui:int
fblanqui:int
January 25, 2025 09:02 6m 36s
extend decimal notation to integers .github/workflows/main.yml #2454: Pull request #1182 synchronize by fblanqui
January 25, 2025 09:01 7m 9s fblanqui:int
fblanqui:int
January 25, 2025 09:01 7m 9s
extend decimal notation to integers .github/workflows/main.yml #2453: Pull request #1182 synchronize by fblanqui
January 25, 2025 08:47 12m 44s fblanqui:int
fblanqui:int
January 25, 2025 08:47 12m 44s
extend decimal notation to integers .github/workflows/main.yml #2452: Pull request #1182 edited by fblanqui
January 25, 2025 07:28 1h 32m 16s fblanqui:int
fblanqui:int
January 25, 2025 07:28 1h 32m 16s
extend decimal notation to integers .github/workflows/main.yml #2451: Pull request #1182 synchronize by fblanqui
January 25, 2025 07:28 1h 32m 16s fblanqui:int
fblanqui:int
January 25, 2025 07:28 1h 32m 16s
extend decimal notation to integers .github/workflows/main.yml #2450: Pull request #1182 synchronize by fblanqui
January 24, 2025 22:00 9h 26m 48s fblanqui:int
fblanqui:int
January 24, 2025 22:00 9h 26m 48s
extend decimal notation to integers .github/workflows/main.yml #2449: Pull request #1182 edited by fblanqui
January 24, 2025 21:57 9h 29m 39s fblanqui:int
fblanqui:int
January 24, 2025 21:57 9h 29m 39s
extend decimal notation to integers .github/workflows/main.yml #2448: Pull request #1182 edited by fblanqui
January 24, 2025 21:56 9h 30m 56s fblanqui:int
fblanqui:int
January 24, 2025 21:56 9h 30m 56s
extend decimal notation to integers .github/workflows/main.yml #2447: Pull request #1182 synchronize by fblanqui
January 24, 2025 21:09 10h 17m 30s fblanqui:int
fblanqui:int
January 24, 2025 21:09 10h 17m 30s
extend decimal notation to integers .github/workflows/main.yml #2446: Pull request #1182 synchronize by fblanqui
January 24, 2025 21:06 3m 32s fblanqui:int
fblanqui:int
January 24, 2025 21:06 3m 32s
extend decimal notation to integers .github/workflows/main.yml #2445: Pull request #1182 synchronize by fblanqui
January 24, 2025 20:53 10h 33m 30s fblanqui:int
fblanqui:int
January 24, 2025 20:53 10h 33m 30s
extend decimal notation to integers .github/workflows/main.yml #2444: Pull request #1182 edited by fblanqui
January 24, 2025 20:46 10m 50s fblanqui:int
fblanqui:int
January 24, 2025 20:46 10m 50s