Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,826 workflow runs
1,826 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 #1503242263 Dependabot Updates #41: by dependabot Bot
48s master
master
48s
change(Vorspiel): extend Wedge, Vee, Arrow and Tilde to heter… CI #2922: Commit dbf334e pushed by github-merge-queue Bot
19m 25s master
master
19m 25s
CI CI #2921: Merge group checks requested
19m 51s
19m 51s
change(Vorspiel): extend Wedge, Vee, Arrow and Tilde to heterogeneous version HWedge, HVee, HArrow and HTilde CI #2920: Pull request #882 synchronize by iehality
5m 38s liberalize-notations
liberalize-notations
5m 38s
change(Vorspiel): extend Wedge, Vee, Arrow and Tilde to heterogeneous version HWedge, HVee, HArrow and HTilde CI #2919: Pull request #882 synchronize by iehality
16m 16s liberalize-notations
liberalize-notations
16m 16s
change(Vorspiel): extend Wedge, Vee, Arrow and Tilde to heterogeneous version HWedge, HVee, HArrow and HTilde CI #2918: Pull request #882 synchronize by iehality
2m 36s liberalize-notations
liberalize-notations
2m 36s
change(Vorspiel): extend Wedge, Vee, Arrow and Tilde to heterogeneous version HWedge, HVee, HArrow and HTilde CI #2917: Pull request #882 opened by iehality
9m 7s liberalize-notations
liberalize-notations
9m 7s
change(Logic): separate connectives and neutrals (#881) CI #2916: Commit 876b910 pushed by github-merge-queue Bot
16m 7s master
master
16m 7s
CI CI #2915: Merge group checks requested
17m 53s
17m 53s
change(Logic): separate connectives and neutrals CI #2914: Pull request #881 synchronize by iehality
18m 28s classifying-symbols
classifying-symbols
18m 28s
change(Logic): separate connectives and neutrals CI #2913: Pull request #881 synchronize by iehality
7m 55s classifying-symbols
classifying-symbols
7m 55s
change(Logic): separate connectives and neutrals CI #2912: Pull request #881 synchronize by iehality
10m 17s classifying-symbols
classifying-symbols
10m 17s
change(Logic): separate connectives and neutrals CI #2911: Pull request #881 synchronize by iehality
12m 25s classifying-symbols
classifying-symbols
12m 25s
change(Logic): separate connectives and neutrals CI #2910: Pull request #881 opened by iehality
14m 7s classifying-symbols
classifying-symbols
14m 7s
refactor(FirstOrder/SetTheory): Refactor recursion theorem CI #2909: Pull request #879 synchronize by Convindix
5m 33s Convindix:recursion-drake
Convindix:recursion-drake
5m 33s
refactor(FirstOrder/SetTheory): Refactor recursion theorem CI #2908: Pull request #879 synchronize by Convindix
5m 39s Convindix:recursion-drake
Convindix:recursion-drake
5m 39s
refactor&add: transfinite recution CI #2907: Pull request #880 synchronize by iehality
5m 34s transfinite-recursion
transfinite-recursion
5m 34s
refactor&add: transfinite recution CI #2906: Pull request #880 opened by iehality
6m 28s transfinite-recursion
transfinite-recursion
6m 28s
refactor(FirstOrder/SetTheory): Refactor recursion theorem CI #2905: Pull request #879 opened by Convindix
5m 24s Convindix:recursion-drake
Convindix:recursion-drake
5m 24s
doc(FirstOrder): Fix some typos and add a few docstrings (#878) CI #2904: Commit 9800e78 pushed by github-merge-queue Bot
15m 38s master
master
15m 38s
CI CI #2903: Merge group checks requested
20m 37s
20m 37s
doc(FirstOrder): Fix some typos and add a few docstrings CI #2902: Pull request #878 synchronize by Convindix
19m 41s Convindix:master
Convindix:master
19m 41s
doc(FirstOrder): Fix some typos and add a few docstrings CI #2901: Pull request #878 opened by Convindix
5m 1s Convindix:master
Convindix:master
5m 1s
add(FirstOrder/SetTheory): Recursion theorem (#853) CI #2900: Commit d258582 pushed by github-merge-queue Bot
6m 30s master
master
6m 30s
CI CI #2899: Merge group checks requested
5m 27s
5m 27s