Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
968 workflow runs
968 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rewrite Kripke Semantics for Modal Logic CI #791: Pull request #158 opened by SnO2WMaN
November 10, 2024 22:08 1m 3s rewrite-modal-kripke
rewrite-modal-kripke
November 10, 2024 22:08 1m 3s
Update Update #1: Manually run by SnO2WMaN
November 10, 2024 14:55 1m 44s master
master
November 10, 2024 14:55 1m 44s
Add auto update (#156) CI #790: Commit 003e912 pushed by iehality
November 10, 2024 14:45 1m 33s master
master
November 10, 2024 14:45 1m 33s
Rewriting Kripke Semantics for IntProp (#155) CI #789: Commit b8e39ae pushed by SnO2WMaN
November 10, 2024 14:34 4m 15s master
master
November 10, 2024 14:34 4m 15s
Add auto update CI #788: Pull request #156 opened by SnO2WMaN
November 10, 2024 13:50 1m 54s add-auto-update
add-auto-update
November 10, 2024 13:50 1m 54s
Rewriting Kripke Semantics for IntProp CI #787: Pull request #155 synchronize by SnO2WMaN
November 10, 2024 12:14 1m 43s revised-int-kripke
revised-int-kripke
November 10, 2024 12:14 1m 43s
Rewriting Kripke Semantics for IntProp CI #786: Pull request #155 synchronize by SnO2WMaN
November 10, 2024 12:08 4m 31s revised-int-kripke
revised-int-kripke
November 10, 2024 12:08 4m 31s
Rewriting Kripke Semantics for IntProp CI #785: Pull request #155 synchronize by SnO2WMaN
November 10, 2024 00:11 3m 51s revised-int-kripke
revised-int-kripke
November 10, 2024 00:11 3m 51s
Rewriting Kripke Semantics for IntProp CI #784: Pull request #155 synchronize by SnO2WMaN
November 9, 2024 23:23 3m 34s revised-int-kripke
revised-int-kripke
November 9, 2024 23:23 3m 34s
Rewriting Kripke Semantics for IntProp CI #783: Pull request #155 synchronize by SnO2WMaN
November 8, 2024 23:04 3m 37s revised-int-kripke
revised-int-kripke
November 8, 2024 23:04 3m 37s
Rewriting Kripke Semantics for IntProp CI #782: Pull request #155 synchronize by SnO2WMaN
November 8, 2024 20:21 2m 10s revised-int-kripke
revised-int-kripke
November 8, 2024 20:21 2m 10s
Rewriting Kripke Semantics for IntProp CI #781: Pull request #155 opened by SnO2WMaN
November 8, 2024 19:06 57s revised-int-kripke
revised-int-kripke
November 8, 2024 19:06 57s
update README & add sponsor CI #780: Commit e6caa4b pushed by iehality
November 8, 2024 16:57 1m 28s master
master
November 8, 2024 16:57 1m 28s
Intuitionistic First-Order Logic (#151) CI #779: Commit 7d9e385 pushed by iehality
November 8, 2024 16:39 5m 45s master
master
November 8, 2024 16:39 5m 45s
Intuitionistic First-Order Logic CI #778: Pull request #151 synchronize by iehality
November 8, 2024 16:34 3m 57s intFO
intFO
November 8, 2024 16:34 3m 57s
Refactoring about Hilbert Deduction System (#154) CI #777: Commit cf6358e pushed by SnO2WMaN
November 7, 2024 19:25 2m 59s master
master
November 7, 2024 19:25 2m 59s
Refactoring about Hilbert Deduction System CI #776: Pull request #154 synchronize by SnO2WMaN
November 7, 2024 18:31 3m 32s no-hilbert-notation
no-hilbert-notation
November 7, 2024 18:31 3m 32s
Refactoring about Hilbert Deduction System CI #775: Pull request #154 synchronize by SnO2WMaN
November 7, 2024 18:28 2m 33s no-hilbert-notation
no-hilbert-notation
November 7, 2024 18:28 2m 33s
Refactoring about Hilbert Deduction System CI #774: Pull request #154 opened by SnO2WMaN
November 7, 2024 18:15 2m 35s no-hilbert-notation
no-hilbert-notation
November 7, 2024 18:15 2m 35s
Intuitionistic First-Order Logic CI #773: Pull request #151 synchronize by iehality
November 7, 2024 17:07 5m 4s intFO
intFO
November 7, 2024 17:07 5m 4s
Intuitionistic First-Order Logic CI #772: Pull request #151 synchronize by iehality
November 7, 2024 10:09 4m 21s intFO
intFO
November 7, 2024 10:09 4m 21s
Intuitionistic First-Order Logic CI #771: Pull request #151 synchronize by iehality
November 6, 2024 21:38 5m 24s intFO
intFO
November 6, 2024 21:38 5m 24s
Refactor Rew (#152) CI #770: Commit f9b24e7 pushed by iehality
November 6, 2024 12:01 5m 2s master
master
November 6, 2024 12:01 5m 2s
Refactor Rew CI #769: Pull request #152 synchronize by iehality
November 6, 2024 11:55 4m 55s redefine-rew
redefine-rew
November 6, 2024 11:55 4m 55s
Refactor Rew CI #768: Pull request #152 synchronize by iehality
November 4, 2024 09:01 1m 7s redefine-rew
redefine-rew
November 4, 2024 09:01 1m 7s