Skip to content

Actions: anthropics/formal-math

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 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
Bump leanprover/lean-action from 1.5.0 to 1.6.0 (#21) Zeta23 CI #11: Commit fbdc36b pushed by rfurman
28s main
main
28s
Bump leanprover/lean-action from 1.5.0 to 1.6.0 (#21) Lean projects #23: Commit fbdc36b pushed by rfurman
7s main
main
7s
github_actions in /. - Update #1549247236 Dependabot Updates #4: by dependabot Bot
55s main
main
55s
Unconditional 0.6727556 simple-critical-line proportion: six-translate Montgomery–Taylor penalty with a kernel-checked 5D certificate (+ Union and LineDecimal topics) Lean projects #22: Pull request #17 synchronize by mdumitrean
Action required mdumitrean:main
mdumitrean:main
Action required
Unconditional 0.6727556 simple-critical-line proportion: six-translate Montgomery–Taylor penalty with a kernel-checked 5D certificate (+ Union and LineDecimal topics) Zeta23 CI #10: Pull request #17 synchronize by mdumitrean
Action required mdumitrean:main
mdumitrean:main
Action required
Unconditional 0.6727556 simple-critical-line proportion: six-translate Montgomery–Taylor penalty with a kernel-checked 5D certificate (+ Union and LineDecimal topics) Lean projects #21: Pull request #17 synchronize by mdumitrean
Action required mdumitrean:main
mdumitrean:main
Action required
Unconditional 0.6727556 simple-critical-line proportion: six-translate Montgomery–Taylor penalty with a kernel-checked 5D certificate (+ Union and LineDecimal topics) Zeta23 CI #9: Pull request #17 synchronize by mdumitrean
Action required mdumitrean:main
mdumitrean:main
Action required
Bump leanprover/lean-action from 1.5.0 to 1.6.0 Zeta23 CI #8: Pull request #21 synchronize by dependabot Bot
16s dependabot/github_actions/leanprover/lean-action-1.6.0
dependabot/github_actions/leanprover/lean-action-1.6.0
16s
Bump leanprover/lean-action from 1.5.0 to 1.6.0 Lean projects #20: Pull request #21 synchronize by dependabot Bot
7s dependabot/github_actions/leanprover/lean-action-1.6.0
dependabot/github_actions/leanprover/lean-action-1.6.0
7s
github_actions in / for leanprover/lean-action - Update #1544701528 Dependabot Updates #3: by dependabot Bot
34s main
main
34s
Merge pull request #24 from anthropics/zeta23-authorship Lean projects #19: Commit 2bafb8c pushed by rfurman
30m 56s main
main
30m 56s
Merge pull request #24 from anthropics/zeta23-authorship Zeta23 CI #7: Commit 2bafb8c pushed by rfurman
17s main
main
17s
wip: scaffold Lean projects #18: Pull request #22 reopened by jleder3
5m 6s add-percolation
add-percolation
5m 6s
zeta23: consistent formalization-authorship account; de-duplicate CI Lean projects #17: Pull request #24 synchronize by rfurman
36m 52s zeta23-authorship
zeta23-authorship
36m 52s
zeta23: consistent formalization-authorship account; de-duplicate CI Zeta23 CI #6: Pull request #24 synchronize by rfurman
21s zeta23-authorship
zeta23-authorship
21s
zeta23: consistent formalization-authorship account; de-duplicate CI Zeta23 CI #5: Pull request #24 opened by rfurman
19s zeta23-authorship
zeta23-authorship
19s
zeta23: consistent formalization-authorship account; de-duplicate CI Lean projects #16: Pull request #24 opened by rfurman
7m 46s zeta23-authorship
zeta23-authorship
7m 46s
wip: scaffold Lean projects #15: Pull request #22 synchronize by jleder3
7m 54s add-percolation
add-percolation
7m 54s
CI: Palomar structure check per project + palomar-prepare skill Lean projects #14: Pull request #23 synchronize by jleder3
8s ci-palomar-structure
ci-palomar-structure
8s
wip: scaffold Lean projects #13: Pull request #22 synchronize by jleder3
6m 57s add-percolation
add-percolation
6m 57s
CI: Palomar structure check per project + palomar-prepare skill Lean projects #12: Pull request #23 synchronize by jleder3
17s ci-palomar-structure
ci-palomar-structure
17s
wip: scaffold Lean projects #11: Pull request #22 synchronize by jleder3
3m 14s add-percolation
add-percolation
3m 14s
wip: scaffold Lean projects #10: Pull request #22 synchronize by jleder3
1m 21s add-percolation
add-percolation
1m 21s
CI: Palomar structure check per project + palomar-prepare skill Lean projects #9: Pull request #23 opened by jleder3
14s ci-palomar-structure
ci-palomar-structure
14s
wip: scaffold Lean projects #8: Pull request #22 opened by jleder3
19m 44s add-percolation
add-percolation
19m 44s