Skip to content

Actions: flintlib/python-flint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
840 workflow runs
840 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run Sage CI Run Sage CI #59: Scheduled
January 29, 2025 02:14 11s main
main
January 29, 2025 02:14 11s
Merge pull request #254 from Tom-Hubrecht/gr-conversions Linting #151: Commit 7786fc0 pushed by oscarbenjamin
January 28, 2025 16:19 28s main
main
January 28, 2025 16:19 28s
Merge pull request #254 from Tom-Hubrecht/gr-conversions Build #1028: Commit 7786fc0 pushed by oscarbenjamin
January 28, 2025 16:19 31m 0s main
main
January 28, 2025 16:19 31m 0s
gr: Improve conversions Build #1027: Pull request #254 synchronize by Tom-Hubrecht
January 28, 2025 15:43 29m 58s Tom-Hubrecht:gr-conversions
Tom-Hubrecht:gr-conversions
January 28, 2025 15:43 29m 58s
gr: Improve conversions Linting #150: Pull request #254 synchronize by Tom-Hubrecht
January 28, 2025 15:43 24s Tom-Hubrecht:gr-conversions
Tom-Hubrecht:gr-conversions
January 28, 2025 15:43 24s
Merge pull request #251 from Tom-Hubrecht/precision-manager Linting #149: Commit 9cb1e81 pushed by oscarbenjamin
January 28, 2025 15:21 31s main
main
January 28, 2025 15:21 31s
Merge pull request #251 from Tom-Hubrecht/precision-manager Build #1026: Commit 9cb1e81 pushed by oscarbenjamin
January 28, 2025 15:21 36m 46s main
main
January 28, 2025 15:21 36m 46s
Add PrecisionManager to flint context Build #1025: Pull request #251 synchronize by Tom-Hubrecht
January 28, 2025 14:46 31m 35s Tom-Hubrecht:precision-manager
Tom-Hubrecht:precision-manager
January 28, 2025 14:46 31m 35s
Add PrecisionManager to flint context Linting #148: Pull request #251 synchronize by Tom-Hubrecht
January 28, 2025 14:46 2m 26s Tom-Hubrecht:precision-manager
Tom-Hubrecht:precision-manager
January 28, 2025 14:46 2m 26s
gr: Improve conversions Linting #147: Pull request #254 opened by Tom-Hubrecht
January 28, 2025 14:33 28s Tom-Hubrecht:gr-conversions
Tom-Hubrecht:gr-conversions
January 28, 2025 14:33 28s
gr: Improve conversions Build #1024: Pull request #254 opened by Tom-Hubrecht
January 28, 2025 14:33 30m 37s Tom-Hubrecht:gr-conversions
Tom-Hubrecht:gr-conversions
January 28, 2025 14:33 30m 37s
Merge pull request #253 from oscarbenjamin/pr_nmod_mat_set_entry Linting #146: Commit debe91d pushed by oscarbenjamin
January 28, 2025 12:45 27s main
main
January 28, 2025 12:45 27s
Merge pull request #253 from oscarbenjamin/pr_nmod_mat_set_entry Build #1023: Commit debe91d pushed by oscarbenjamin
January 28, 2025 12:45 30m 31s main
main
January 28, 2025 12:45 30m 31s
Add PrecisionManager to flint context Linting #145: Pull request #251 synchronize by Tom-Hubrecht
January 28, 2025 08:21 25s Tom-Hubrecht:precision-manager
Tom-Hubrecht:precision-manager
January 28, 2025 08:21 25s
Add PrecisionManager to flint context Build #1022: Pull request #251 synchronize by Tom-Hubrecht
January 28, 2025 08:21 31m 4s Tom-Hubrecht:precision-manager
Tom-Hubrecht:precision-manager
January 28, 2025 08:21 31m 4s
fix: Use nmod_mat_set_entry rather than internals Build #1021: Pull request #253 opened by oscarbenjamin
January 27, 2025 22:32 31m 5s oscarbenjamin:pr_nmod_mat_set_entry
oscarbenjamin:pr_nmod_mat_set_entry
January 27, 2025 22:32 31m 5s
fix: Use nmod_mat_set_entry rather than internals Linting #144: Pull request #253 opened by oscarbenjamin
January 27, 2025 22:32 26s oscarbenjamin:pr_nmod_mat_set_entry
oscarbenjamin:pr_nmod_mat_set_entry
January 27, 2025 22:32 26s
Merge pull request #252 from Tom-Hubrecht/readme-setup Linting #143: Commit 9c9a7d1 pushed by oscarbenjamin
January 27, 2025 19:09 27s main
main
January 27, 2025 19:09 27s
Merge pull request #252 from Tom-Hubrecht/readme-setup Build #1020: Commit 9c9a7d1 pushed by oscarbenjamin
January 27, 2025 19:09 30m 14s main
main
January 27, 2025 19:09 30m 14s
Add PrecisionManager to flint context Build #1019: Pull request #251 synchronize by Tom-Hubrecht
January 27, 2025 15:34 34m 56s Tom-Hubrecht:precision-manager
Tom-Hubrecht:precision-manager
January 27, 2025 15:34 34m 56s
Add PrecisionManager to flint context Linting #142: Pull request #251 synchronize by Tom-Hubrecht
January 27, 2025 15:34 9m 7s Tom-Hubrecht:precision-manager
Tom-Hubrecht:precision-manager
January 27, 2025 15:34 9m 7s
Fix setup link in README Linting #141: Pull request #252 opened by Tom-Hubrecht
January 27, 2025 15:06 28s Tom-Hubrecht:readme-setup
Tom-Hubrecht:readme-setup
January 27, 2025 15:06 28s
Fix setup link in README Build #1018: Pull request #252 opened by Tom-Hubrecht
January 27, 2025 15:06 32m 17s Tom-Hubrecht:readme-setup
Tom-Hubrecht:readme-setup
January 27, 2025 15:06 32m 17s
Add PrecisionManager to flint context Linting #140: Pull request #251 synchronize by Tom-Hubrecht
January 27, 2025 12:46 Action required Tom-Hubrecht:precision-manager
Tom-Hubrecht:precision-manager
January 27, 2025 12:46 Action required
Add PrecisionManager to flint context Build #1017: Pull request #251 synchronize by Tom-Hubrecht
January 27, 2025 12:46 Action required Tom-Hubrecht:precision-manager
Tom-Hubrecht:precision-manager
January 27, 2025 12:46 Action required