Skip to content

Commit 30c7ed4

Browse files
v0.4 (Kathmandu): Global Time Echoes: Raw RINEX Validation of Distance-Structured Correlations in GNSS Clocks
0 parents  commit 30c7ed4

337 files changed

Lines changed: 504142 additions & 0 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.github/workflows/deploy.yml

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
# Deploy TEP-GNSS-RINEX to GitHub Pages
2+
name: Deploy to GitHub Pages
3+
4+
on:
5+
# Runs on pushes targeting the default branch
6+
push:
7+
branches: ["master"]
8+
9+
# Allows you to run this workflow manually from the Actions tab
10+
workflow_dispatch:
11+
12+
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
13+
permissions:
14+
contents: read
15+
pages: write
16+
id-token: write
17+
18+
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
19+
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
20+
concurrency:
21+
group: "pages"
22+
cancel-in-progress: false
23+
24+
jobs:
25+
# Build job
26+
build:
27+
runs-on: ubuntu-latest
28+
steps:
29+
- name: Checkout
30+
uses: actions/checkout@v4
31+
32+
- name: Setup Node.js
33+
uses: actions/setup-node@v4
34+
with:
35+
node-version: '20'
36+
cache: 'npm'
37+
cache-dependency-path: site/package-lock.json
38+
39+
- name: Install dependencies
40+
working-directory: site
41+
run: npm ci
42+
43+
- name: Build static site
44+
working-directory: site
45+
run: npm run build
46+
47+
- name: Setup Pages
48+
uses: actions/configure-pages@v4
49+
50+
- name: Upload artifact
51+
uses: actions/upload-pages-artifact@v3
52+
with:
53+
path: site/dist
54+
55+
# Deployment job
56+
deploy:
57+
environment:
58+
name: github-pages
59+
url: ${{ steps.deployment.outputs.page_url }}
60+
runs-on: ubuntu-latest
61+
needs: build
62+
steps:
63+
- name: Deploy to GitHub Pages
64+
id: deployment
65+
uses: actions/deploy-pages@v4

.gitignore

Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
# Python
2+
__pycache__/
3+
*.py[cod]
4+
*.pyc
5+
*.pyo
6+
7+
# OS
8+
.DS_Store
9+
Thumbs.db
10+
11+
# Env / secrets
12+
.env*
13+
.env.local
14+
*.pem
15+
*.key
16+
credentials.json
17+
*secret*.json
18+
19+
# Large binaries and archives
20+
*.tar
21+
*.tar.gz
22+
*.npz
23+
*.zip
24+
*.7z
25+
26+
# Build artifacts
27+
site/node_modules/
28+
site/dist/
29+
30+
# Editor files
31+
*.swp
32+
*.swo
33+
*~
34+
.vscode/
35+
.idea/
36+
.DS_Store
37+
38+
# Temporary files
39+
*.tmp
40+
*.temp
41+
42+
# Data & Large Results (42GB+)
43+
data/
44+
# results/
45+
# logs/
46+
RTKLIB/
47+
48+
# Ignore massive CSV data dumps in results
49+
results/**/*.csv
50+
51+
# Allow keeping the directory structure (optional)
52+
# !data/.gitkeep
53+
# !results/.gitkeep
54+
# !logs/.gitkeep
55+
56+
57+
# IDE files
58+
*.code-workspace
59+
.windsurf/
60+
.windsurfrules

0 commit comments

Comments
 (0)