Skip to content

Actions: FormalizedFormalLogic/ProvabilityLogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow runs
166 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: Documentation generation with doc-gen4 (#34) CI #151: Commit 9b295e6 pushed by github-merge-queue Bot
23m 43s main
main
23m 43s
CI CI #150: Merge group checks requested
22m 3s
22m 3s
ci: Documentation generation with doc-gen4 CI #149: Pull request #34 synchronize by SnO2WMaN
26m 16s ci/add-documentation
ci/add-documentation
26m 16s
ci: Documentation generation with doc-gen4 CI #148: Pull request #34 synchronize by SnO2WMaN
25m 56s ci/add-documentation
ci/add-documentation
25m 56s
ci: Documentation generation with doc-gen4 CI #147: Pull request #34 synchronize by SnO2WMaN
26m 33s ci/add-documentation
ci/add-documentation
26m 33s
ci: Documentation generation with doc-gen4 CI #146: Pull request #34 synchronize by SnO2WMaN
12m 2s ci/add-documentation
ci/add-documentation
12m 2s
CI CI #145: Manually run by SnO2WMaN
10m 56s ci/add-documentation
ci/add-documentation
10m 56s
ci: Documentation generation with doc-gen4 CI #144: Pull request #34 synchronize by SnO2WMaN
4m 34s ci/add-documentation
ci/add-documentation
4m 34s
CI CI #143: Manually run by SnO2WMaN
8m 13s ci/add-documentation
ci/add-documentation
8m 13s
ci: Documentation generation with doc-gen4 CI #142: Pull request #34 opened by SnO2WMaN
4m 52s ci/add-documentation
ci/add-documentation
4m 52s
refactor(Logic): Consistent provability_TFAE clause order across `L… CI #141: Commit 2c82edb pushed by github-merge-queue Bot
10m 37s main
main
10m 37s
CI CI #140: Merge group checks requested
5m 41s
5m 41s
refactor(Logic): Consistent provability_TFAE clause order across LogicA/LogicD/LogicS CI #139: Pull request #33 synchronize by SnO2WMaN
8m 22s unify-tfae-order
unify-tfae-order
8m 22s
refactor(Logic): Consistent provability_TFAE clause order across LogicA/LogicD/LogicS CI #138: Pull request #33 synchronize by SnO2WMaN
23m 47s unify-tfae-order
unify-tfae-order
23m 47s
refactor(Logic): Consistent provability_TFAE clause order across LogicA/LogicD/LogicS CI #137: Pull request #33 synchronize by SnO2WMaN
15m 59s unify-tfae-order
unify-tfae-order
15m 59s
refactor(Logic): Consistent provability_TFAE clause order across LogicA/LogicD/LogicS CI #136: Pull request #33 opened by SnO2WMaN
57m 59s unify-tfae-order
unify-tfae-order
57m 59s
refactor(Logic): File layout for LogicGLAlpha/LogicGLBetaMinus (#32) CI #135: Commit 9366c40 pushed by github-merge-queue Bot
10m 58s main
main
10m 58s
refactor(Gentzen): refactor file structures (#31) CI #134: Commit f6bd9d2 pushed by github-merge-queue Bot
7m 11s main
main
7m 11s
CI CI #133: Merge group checks requested
7m 46s
7m 46s
CI CI #132: Merge group checks requested
6m 37s
6m 37s
refactor(Logic): File layout for LogicGLAlpha/LogicGLBetaMinus CI #131: Pull request #32 synchronize by SnO2WMaN
4m 52s glalpha-glbetaminus-split
glalpha-glbetaminus-split
4m 52s
refactor(Gentzen): refactor file structures CI #130: Pull request #31 synchronize by SnO2WMaN
7m 7s gentzen-withcut-unify
gentzen-withcut-unify
7m 7s
refactor(Logic): File layout for LogicGLAlpha/LogicGLBetaMinus CI #129: Pull request #32 synchronize by SnO2WMaN
5m 33s glalpha-glbetaminus-split
glalpha-glbetaminus-split
5m 33s
refactor(Logic): File layout for LogicGLAlpha/LogicGLBetaMinus CI #128: Pull request #32 synchronize by SnO2WMaN
4m 47s glalpha-glbetaminus-split
glalpha-glbetaminus-split
4m 47s
refactor(Logic): File layout for LogicGLAlpha/LogicGLBetaMinus CI #127: Pull request #32 synchronize by SnO2WMaN
4m 31s glalpha-glbetaminus-split
glalpha-glbetaminus-split
4m 31s