Skip to content

Actions: wsollers/lra-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
333 workflow runs
333 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
Reorganize ZFC syntax and schema infrastructure Lean Repository Documentation and GitHub Pages #155: Commit b4cedb7 pushed by wsollers
12m 41s main
main
12m 41s
Reorganize ZFC syntax and schema infrastructure Lean Docker Build and Check #157: Commit b4cedb7 pushed by wsollers
1m 53s main
main
1m 53s
Revise Volume I logic interface architecture Lean Docker Build and Check #156: Commit 0df777d pushed by wsollers
2m 13s main
main
2m 13s
Revise Volume I logic interface architecture Lean Repository Documentation and GitHub Pages #154: Commit 0df777d pushed by wsollers
12m 55s main
main
12m 55s
Check number-system documentation dependency order Lean Repository Documentation and GitHub Pages #153: Commit 648ee33 pushed by wsollers
7m 5s main
main
7m 5s
Check number-system documentation dependency order Lean Docker Build and Check #155: Commit 648ee33 pushed by wsollers
5m 13s main
main
5m 13s
Cache Docker build images in GitHub Actions Lean Docker Build and Check #154: Commit f6a8e24 pushed by wsollers
15m 14s main
main
15m 14s
Cache Docker build images in GitHub Actions Lean Repository Documentation and GitHub Pages #152: Commit f6a8e24 pushed by wsollers
14m 14s main
main
14m 14s
Prepare number-system proof roadmap and docs Lean Docker Build and Check #153: Commit 2cb43fd pushed by wsollers
3m 4s main
main
3m 4s
Prepare number-system proof roadmap and docs Lean Repository Documentation and GitHub Pages #151: Commit 2cb43fd pushed by wsollers
6m 14s main
main
6m 14s
Merge number-system proof-ready branch Lean Repository Documentation and GitHub Pages #150: Commit e81f559 pushed by wsollers
3m 50s main
main
3m 50s
Merge number-system proof-ready branch Lean Docker Build and Check #152: Commit e81f559 pushed by wsollers
3m 3s main
main
3m 3s
Proof-ready number-system refactor Lean Repository Documentation and GitHub Pages #149: Pull request #4 synchronize by wsollers
3m 14s agent/number-systems-proof-ready
agent/number-systems-proof-ready
3m 14s
Proof-ready number-system refactor Lean Docker Build and Check #151: Pull request #4 synchronize by wsollers
3m 8s agent/number-systems-proof-ready
agent/number-systems-proof-ready
3m 8s
Proof-ready number-system refactor Lean Docker Build and Check #150: Pull request #4 synchronize by wsollers
3m 15s agent/number-systems-proof-ready
agent/number-systems-proof-ready
3m 15s
Proof-ready number-system refactor Lean Repository Documentation and GitHub Pages #148: Pull request #4 synchronize by wsollers
57s agent/number-systems-proof-ready
agent/number-systems-proof-ready
57s
Proof-ready number-system refactor Lean Repository Documentation and GitHub Pages #147: Pull request #4 synchronize by wsollers
1m 4s agent/number-systems-proof-ready
agent/number-systems-proof-ready
1m 4s
Proof-ready number-system refactor Lean Docker Build and Check #149: Pull request #4 synchronize by wsollers
3m 1s agent/number-systems-proof-ready
agent/number-systems-proof-ready
3m 1s
Proof-ready number-system refactor Lean Docker Build and Check #148: Pull request #4 synchronize by wsollers
3m 8s agent/number-systems-proof-ready
agent/number-systems-proof-ready
3m 8s
Proof-ready number-system refactor Lean Repository Documentation and GitHub Pages #146: Pull request #4 synchronize by wsollers
46s agent/number-systems-proof-ready
agent/number-systems-proof-ready
46s
Proof-ready number-system refactor Lean Docker Build and Check #147: Pull request #4 synchronize by wsollers
3m 10s agent/number-systems-proof-ready
agent/number-systems-proof-ready
3m 10s
Proof-ready number-system refactor Lean Repository Documentation and GitHub Pages #145: Pull request #4 synchronize by wsollers
57s agent/number-systems-proof-ready
agent/number-systems-proof-ready
57s
Proof-ready number-system refactor Lean Repository Documentation and GitHub Pages #144: Pull request #4 synchronize by wsollers
57s agent/number-systems-proof-ready
agent/number-systems-proof-ready
57s
Proof-ready number-system refactor Lean Docker Build and Check #146: Pull request #4 synchronize by wsollers
3m 13s agent/number-systems-proof-ready
agent/number-systems-proof-ready
3m 13s
Proof-ready number-system refactor Lean Repository Documentation and GitHub Pages #143: Pull request #4 synchronize by wsollers
1m 21s agent/number-systems-proof-ready
agent/number-systems-proof-ready
1m 21s