Skip to content

Actions: flintlib/flint

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
1,891 workflow runs
1,891 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhance 'make dist', add GitHub release workflow CI #998: Pull request #1449 synchronize by fingolfin
October 9, 2023 16:05 11m 13s fingolfin:mh/dist
fingolfin:mh/dist
October 9, 2023 16:05 11m 13s
Deinline flint_mpn_get_d CI #997: Pull request #1463 opened by albinahlback
October 9, 2023 15:59 1h 10m 28s albinahlback:flint_mpn_get_d_deinline
albinahlback:flint_mpn_get_d_deinline
October 9, 2023 15:59 1h 10m 28s
Enhance 'make dist', add GitHub release workflow CI #996: Pull request #1449 synchronize by fingolfin
October 9, 2023 15:56 9m 52s fingolfin:mh/dist
fingolfin:mh/dist
October 9, 2023 15:56 9m 52s
Merge pull request #1461 from fingolfin/mh/actions/checkout-v4 CI #995: Commit be5593f pushed by alexjbest
October 9, 2023 15:47 1h 11m 22s trunk
trunk
October 9, 2023 15:47 1h 11m 22s
Enhance 'make dist', add GitHub release workflow CI #994: Pull request #1449 synchronize by fingolfin
October 9, 2023 15:44 12m 35s fingolfin:mh/dist
fingolfin:mh/dist
October 9, 2023 15:44 12m 35s
Merge pull request #1458 from albinahlback/fix_ci_repo_namechange CI #993: Commit 2d5c1bb pushed by fredrik-johansson
October 9, 2023 15:43 56m 54s trunk
trunk
October 9, 2023 15:43 56m 54s
Merge pull request #1460 from albinahlback/fix_fq_zech_vec_tests CI #992: Commit e7cc486 pushed by fredrik-johansson
October 9, 2023 15:42 6m 4s trunk
trunk
October 9, 2023 15:42 6m 4s
Also regenerate doc when workflow is modified CI #991: Pull request #1462 opened by alexjbest
October 9, 2023 15:41 5m 12s alexjbest-patch-2
alexjbest-patch-2
October 9, 2023 15:41 5m 12s
Also regenerate doc when workflow is modified CI #990: Commit 9788289 pushed by alexjbest
October 9, 2023 15:41 32s alexjbest-patch-2
alexjbest-patch-2
October 9, 2023 15:41 32s
Enhance 'make dist', add GitHub release workflow CI #989: Pull request #1449 synchronize by fingolfin
October 9, 2023 15:34 10m 39s fingolfin:mh/dist
fingolfin:mh/dist
October 9, 2023 15:34 10m 39s
CI: update actions/checkout to v4 CI #988: Pull request #1461 opened by fingolfin
October 9, 2023 15:31 46m 50s fingolfin:mh/actions/checkout-v4
fingolfin:mh/actions/checkout-v4
October 9, 2023 15:31 46m 50s
Enhance 'make dist', add GitHub release workflow CI #987: Pull request #1449 synchronize by fingolfin
October 9, 2023 15:26 8m 41s fingolfin:mh/dist
fingolfin:mh/dist
October 9, 2023 15:26 8m 41s
Merge pull request #1457 from flintlib/alexjbest-patch-1 CI #986: Commit 40d1a53 pushed by alexjbest
October 9, 2023 15:11 2m 44s trunk
trunk
October 9, 2023 15:11 2m 44s
Fix declusion of fq_zech_vec's tests CI #985: Pull request #1460 opened by albinahlback
October 9, 2023 14:40 57m 10s albinahlback:fix_fq_zech_vec_tests
albinahlback:fix_fq_zech_vec_tests
October 9, 2023 14:40 57m 10s
CI CI #984: by fredrik-johansson
October 9, 2023 14:37 17m 38s trunk
trunk
October 9, 2023 14:37 17m 38s
CI CI #983: by fredrik-johansson
October 9, 2023 14:36 16m 46s trunk
trunk
October 9, 2023 14:36 16m 46s
CI CI #982: by fredrik-johansson
October 9, 2023 14:36 14m 51s trunk
trunk
October 9, 2023 14:36 14m 51s
CI CI #981: by albinahlback
October 9, 2023 14:30 18m 5s trunk
trunk
October 9, 2023 14:30 18m 5s
Fix Cygwin CI after namechange of repository CI #980: Pull request #1458 opened by albinahlback
October 9, 2023 14:29 1h 6m 58s albinahlback:fix_ci_repo_namechange
albinahlback:fix_ci_repo_namechange
October 9, 2023 14:29 1h 6m 58s
fix doc build CI #979: Pull request #1457 opened by alexjbest
October 9, 2023 14:27 18m 4s alexjbest-patch-1
alexjbest-patch-1
October 9, 2023 14:27 18m 4s
CI CI #978: by alexjbest
October 9, 2023 14:27 34s alexjbest-patch-1
alexjbest-patch-1
October 9, 2023 14:27 34s
remove two self assignments CI #977: Pull request #1456 opened by edgarcosta
October 9, 2023 14:20 1h 1m 29s edgarcosta:ynum
edgarcosta:ynum
October 9, 2023 14:20 1h 1m 29s
remove self assign CI #976: Pull request #1455 opened by edgarcosta
October 9, 2023 14:13 1h 4m 6s edgarcosta:ynum
edgarcosta:ynum
October 9, 2023 14:13 1h 4m 6s
Enhance 'make dist', add GitHub release workflow CI #975: Pull request #1449 synchronize by fingolfin
October 9, 2023 14:09 43m 28s fingolfin:mh/dist
fingolfin:mh/dist
October 9, 2023 14:09 43m 28s
Enhance 'make dist', add GitHub release workflow CI #974: Pull request #1449 synchronize by fingolfin
October 9, 2023 14:08 2m 16s fingolfin:mh/dist
fingolfin:mh/dist
October 9, 2023 14:08 2m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-10-09 or the other filters available.