Skip to content

Exclude dir (#4)

Exclude dir (#4) #23

Triggered via push September 2, 2026 13:30
Status Success
Total duration 2m 45s
Artifacts

e2e_test.yml

on: push
success_e2e_test
34s
success_e2e_test
mathlib_dependency_e2e_test
2m 41s
mathlib_dependency_e2e_test
success_nightly_test
45s
success_nightly_test
fail_e2e_test
32s
fail_e2e_test
test_driver_failure_e2e_test
36s
test_driver_failure_e2e_test
lint_driver_failure_e2e_test
33s
lint_driver_failure_e2e_test
pinned_tags_e2e_test
43s
pinned_tags_e2e_test
pinned_sha_e2e_test
45s
pinned_sha_e2e_test
pinned_tags_no_deps_e2e_test
32s
pinned_tags_no_deps_e2e_test
pinned_tags_multi_dir_e2e_test
46s
pinned_tags_multi_dir_e2e_test
excluded_directory_e2e_test
44s
excluded_directory_e2e_test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
fail_e2e_test
Process completed with exit code 1.
lint_driver_failure_e2e_test
Process completed with exit code 1.
test_driver_failure_e2e_test
Process completed with exit code 1.