Skip to content

Actions: dcdreamy-code/awards

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
Workflows are not currently being run on this fork due to the scale of GitHub Actions usage. A repository maintainer can choose to re-enable these.
353 workflow runs
353 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
JSP-000035: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #353: Commit cd88e4c pushed by dcdreamy-code
11s resubmit-jsp-000035
resubmit-jsp-000035
11s
JSP-000035: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #352: Commit c7fce5d pushed by dcdreamy-code
9s resubmit-jsp-000035
resubmit-jsp-000035
9s
JSP-000045: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #351: Commit cd65919 pushed by dcdreamy-code
8s resubmit-jsp-000045
resubmit-jsp-000045
8s
JSP-000060: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #350: Commit 9301d94 pushed by dcdreamy-code
8s resubmit-jsp-000060
resubmit-jsp-000060
8s
JSP-000076: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #349: Commit 5561f3d pushed by dcdreamy-code
12s resubmit-jsp-000076
resubmit-jsp-000076
12s
JSP-000077: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #348: Commit ed00fc4 pushed by dcdreamy-code
12s resubmit-jsp-000077
resubmit-jsp-000077
12s
JSP-000078: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #347: Commit 73e0ec3 pushed by dcdreamy-code
12s resubmit-jsp-000078
resubmit-jsp-000078
12s
JSP-000085: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #346: Commit 523a72d pushed by dcdreamy-code
9s resubmit-jsp-000085
resubmit-jsp-000085
9s
JSP-000087: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #345: Commit cadb5fa pushed by dcdreamy-code
10s resubmit-jsp-000087
resubmit-jsp-000087
10s
JSP-000089: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #344: Commit 8da0b26 pushed by dcdreamy-code
9s resubmit-jsp-000089
resubmit-jsp-000089
9s
JSP-000090: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #343: Commit 9fe00df pushed by dcdreamy-code
13s resubmit-jsp-000090
resubmit-jsp-000090
13s
JSP-000093: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #342: Commit 7349107 pushed by dcdreamy-code
9s resubmit-jsp-000093
resubmit-jsp-000093
9s
JSP-000096: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #341: Commit 282e2df pushed by dcdreamy-code
10s resubmit-jsp-000096
resubmit-jsp-000096
10s
JSP-000104: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #340: Commit 4e658d2 pushed by dcdreamy-code
9s resubmit-jsp-000104
resubmit-jsp-000104
9s
JSP-000121: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #339: Commit e0fd90e pushed by dcdreamy-code
13s resubmit-jsp-000121
resubmit-jsp-000121
13s
JSP-000126: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #338: Commit 2424e58 pushed by dcdreamy-code
13s resubmit-jsp-000126
resubmit-jsp-000126
13s
JSP-000139: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #337: Commit adf6214 pushed by dcdreamy-code
10s resubmit-jsp-000139
resubmit-jsp-000139
10s
JSP-000140: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #336: Commit c74e5a4 pushed by dcdreamy-code
10s resubmit-jsp-000140
resubmit-jsp-000140
10s
JSP-000155: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #335: Commit 8e8c1de pushed by dcdreamy-code
12s resubmit-jsp-000155
resubmit-jsp-000155
12s
JSP-000161: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #334: Commit 23c55a6 pushed by dcdreamy-code
12s resubmit-jsp-000161
resubmit-jsp-000161
12s
JSP-000163: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #333: Commit c3436af pushed by dcdreamy-code
9s resubmit-jsp-000163
resubmit-jsp-000163
9s
JSP-000173: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #332: Commit 3267c99 pushed by dcdreamy-code
9s resubmit-jsp-000173
resubmit-jsp-000173
9s
JSP-000176: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #331: Commit 3147ead pushed by dcdreamy-code
10s resubmit-jsp-000176
resubmit-jsp-000176
10s
JSP-000179: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #330: Commit 6d8ea50 pushed by dcdreamy-code
11s resubmit-jsp-000179
resubmit-jsp-000179
11s
JSP-000182: register Lean formalization from plby/lean-proofs (resubm… MathDB pilot consistency #329: Commit 7319768 pushed by dcdreamy-code
9s resubmit-jsp-000182
resubmit-jsp-000182
9s