Skip to content

Actions: FormalizedFormalLogic/ModalLogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
686 workflow runs
686 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
github_actions in /. - Update #1602827049 Dependabot Updates #11: by dependabot Bot
45s main
main
45s
github_actions in /. - Update #1590247320 Dependabot Updates #10: by dependabot Bot
43s main
main
43s
github_actions in /. - Update #1580298566 Dependabot Updates #9: by dependabot Bot
46s main
main
46s
github_actions in /. - Update #1568886533 Dependabot Updates #8: by dependabot Bot
52s main
main
52s
github_actions in /. - Update #1555393875 Dependabot Updates #7: by dependabot Bot
41s main
main
41s
github_actions in /. - Update #1542999210 Dependabot Updates #6: by dependabot Bot
45s main
main
45s
github_actions in /. - Update #1534059057 Dependabot Updates #5: by dependabot Bot
1m 2s main
main
1m 2s
github_actions in /. - Update #1524004975 Dependabot Updates #4: by dependabot Bot
43s main
main
43s
github_actions in /. - Update #1510651416 Dependabot Updates #3: by dependabot Bot
53s main
main
53s
refactor(Neighborhood): Rewrite the modal calculus with step-by-step … CI #649: Commit 9c485ca pushed by github-merge-queue Bot
7m 9s main
main
7m 9s
CI CI #648: Merge group checks requested
8m 55s
8m 55s
add(zoo): Compact zoo, and both 2D figures as graded Hasse diagrams (… CI #647: Commit c65f4fd pushed by github-merge-queue Bot
3m 51s main
main
3m 51s
add(zoo): Compact zoo, and both 2D figures as graded Hasse diagrams (… Actionlint #26: Commit c65f4fd pushed by github-merge-queue Bot
9s main
main
9s
add(zoo): Compact zoo, and both 2D figures as graded Hasse diagrams (… Actionlint #25: Commit c65f4fd pushed by github-merge-queue Bot
17s gh-readonly-queue/main/pr-199-a3b167e96ffe11df62bbd2457ee0e6c398dfeb00
gh-readonly-queue/main/pr-199-a3b167e96ffe11df62bbd2457ee0e6c398dfeb00
17s
CI CI #646: Merge group checks requested
2m 43s
2m 43s
add(zoo): Compact zoo, and both 2D figures as graded Hasse diagrams CI #645: Pull request #199 opened by SnO2WMaN
2m 34s nbhd-zoo-compact-2
nbhd-zoo-compact-2
2m 34s
doc: Say what the full 2D zoo shows now that it merges equal logics Actionlint #24: Commit db4b5c8 pushed by SnO2WMaN
14s nbhd-zoo-compact-2
nbhd-zoo-compact-2
14s
refactor(Neighborhood): Rewrite the modal calculus with step-by-step proofs CI #644: Pull request #198 opened by SnO2WMaN
8m 20s nbhd-calculus-rewrite
nbhd-calculus-rewrite
8m 20s
refactor(zoo): Replace the status #eval with a compiled executable (#… CI #643: Commit a3b167e pushed by github-merge-queue Bot
6m 49s main
main
6m 49s
CI CI #642: Merge group checks requested
2m 28s
2m 28s
refactor(zoo): Replace the status #eval with a compiled executable CI #641: Pull request #197 opened by SnO2WMaN
2m 39s zoo-status-main
zoo-status-main
2m 39s
add(Neighborhood): ECDB5 equals ECT5 (#196) CI #640: Commit 4abd042 pushed by github-merge-queue Bot
8m 56s main
main
8m 56s
CI CI #639: Merge group checks requested
2m 34s
2m 34s
add(Neighborhood): ECDB5 equals ECT5 CI #638: Pull request #196 opened by SnO2WMaN
2m 32s nbhd-ecdb5-ect5
nbhd-ecdb5-ect5
2m 32s
fix(zoo): Drop the cumulative heartbeat bound on the status table (#195) CI #637: Commit 35cb904 pushed by github-merge-queue Bot
12m 32s main
main
12m 32s