Skip to content

Actions: xavierleroy/Zarith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fast path for gcdext
CI #15: Commit f2676fa pushed by xavierleroy
January 3, 2024 15:12 1m 36s more_fast_paths
January 3, 2024 15:12 1m 36s
Cleaned up the extern/intern test
CI #14: Commit d1193ab pushed by xavierleroy
January 3, 2024 13:09 1m 28s cautious-unmarshaling
January 3, 2024 13:09 1m 28s
December 28, 2023 17:16 1m 5s
Fast path for Z.divisible on small arguments
CI #7: Commit c8d2b2c pushed by xavierleroy
November 12, 2023 09:55 1m 6s faster-divisible
November 12, 2023 09:55 1m 6s
Revert #124
CI #6: Commit 9a7e053 pushed by xavierleroy
July 19, 2023 17:56 1m 18s fix
fix
July 19, 2023 17:56 1m 18s