Skip to content

Actions: flintlib/flint

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,891 workflow runs
1,891 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1451 from alexjbest/alex/cross-update
CI #1023: Commit 2eb1f86 pushed by edgarcosta
October 10, 2023 06:08 51m 38s trunk
October 10, 2023 06:08 51m 38s
Merge branch 'gmpcompat' into trunk
CI #1022: Commit e83b51a pushed by fredrik-johansson
October 9, 2023 21:39 48s trunk
October 9, 2023 21:39 48s
October 9, 2023 21:38 1m 38s
CI Cygwin GCC: reduce multiplier from 1 to 0.5
CI #1020: Pull request #1473 opened by edgarcosta
October 9, 2023 21:38 54m 41s edgarcosta:cygwin0.5
October 9, 2023 21:38 54m 41s
October 9, 2023 20:26 1h 14m 31s
fix flint_mpf_get_d_2exp again
CI #1016: Commit 255bf55 pushed by fredrik-johansson
October 9, 2023 20:14 1h 21m 14s gmpcompat
October 9, 2023 20:14 1h 21m 14s
Merge pull request #1468 from fingolfin/mh/ci-limit-branches
CI #1015: Commit 0ab9176 pushed by edgarcosta
October 9, 2023 20:14 13m 46s trunk
October 9, 2023 20:14 13m 46s
Enhance 'make dist', add GitHub release workflow
CI #1014: Pull request #1449 synchronize by fingolfin
October 9, 2023 20:09 6h 4m 23s fingolfin:mh/dist
October 9, 2023 20:09 6h 4m 23s
using FLINT_UNUSED instead of __attribute__((unused))
CI #1013: Pull request #1469 synchronize by edgarcosta
October 9, 2023 19:59 5m 13s edgarcosta:FLINTUNUSED
October 9, 2023 19:59 5m 13s
new acb_theta module
CI #1012: Pull request #1470 opened by edgarcosta
October 9, 2023 19:55 10m 8s j-kieffer:acb_theta
October 9, 2023 19:55 10m 8s
Enhance 'make dist', add GitHub release workflow
CI #1011: Pull request #1449 by fingolfin
October 9, 2023 19:49 Failure fingolfin:mh/dist
October 9, 2023 19:49 Failure
October 9, 2023 19:41 5m 9s
October 9, 2023 19:39 4m 13s
October 9, 2023 19:34 3m 42s
Enhance 'make dist', add GitHub release workflow
CI #1006: Pull request #1449 by fingolfin
October 9, 2023 19:28 Failure fingolfin:mh/dist
October 9, 2023 19:28 Failure
Enhance 'make dist', add GitHub release workflow
CI #1005: Pull request #1449 by fingolfin
October 9, 2023 19:08 Failure fingolfin:mh/dist
October 9, 2023 19:08 Failure
Enhance 'make dist', add GitHub release workflow
CI #1004: Pull request #1449 by fingolfin
October 9, 2023 19:05 Failure fingolfin:mh/dist
October 9, 2023 19:05 Failure
CI: limit which branches run CI tests
CI #1003: Pull request #1468 opened by fingolfin
October 9, 2023 16:24 1h 36m 15s fingolfin:mh/ci-limit-branches
October 9, 2023 16:24 1h 36m 15s
Fix a few more memory leaks, round 2
CI #1002: Pull request #1467 opened by rburing
October 9, 2023 16:18 1h 15m 33s rburing:fix-a-few-more-leaks-2
October 9, 2023 16:18 1h 15m 33s
Remove dum dummy-functions
CI #999: Pull request #1464 opened by albinahlback
October 9, 2023 16:11 25m 55s albinahlback:remove_dum_dummies
October 9, 2023 16:11 25m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-10-09 or the other filters available.