Skip to content
CI

Determine filetype from URL through HEAD request #770

Sign in to view logs

Determine filetype from URL through HEAD request

Determine filetype from URL through HEAD request #770

Triggered via push October 16, 2023 13:03
@RenumicsRenumics
pushed 93a99d5
feature/227-determine-filetype-for-urls
Status Success
Total duration 22m 0s
Artifacts 5
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
🐍 Prepare Python
24s
🐍 Prepare Python
⬢ Prepare Node.js
6m 32s
⬢ Prepare Node.js
🔍 Check if pull request
4s
🔍 Check if pull request
🗃 Build datasets
2m 8s
🗃 Build datasets
📝 Build API docs
41s
📝 Build API docs
🧱 Build Spotlight
3m 22s
🧱 Build Spotlight
🔍 Check
2m 24s
🔍 Check
🧪 Unit Test
1m 22s
🧪 Unit Test
🧪 Doc Test
1m 48s
🧪 Doc Test
🧱 Build test matrix
9s
🧱 Build test matrix
Matrix: 🧪 UI Test
🔍 Check wheel contents
44s
🔍 Check wheel contents
Matrix: 🧪 Integration Test
🚀 Release Spotlight
0s
🚀 Release Spotlight
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
.frontend-1.5.2-post.1+93a99d5 Expired
9.64 MB
.ui-test-1.5.2-post.1+93a99d5 Expired
254 KB
datasets-1.5.2-post.1+93a99d5 Expired
107 MB
docs-1.5.2-post.1+93a99d5 Expired
39.8 KB
renumics-spotlight-1.5.2-post.1+93a99d5 Expired
2.81 MB