Skip to content

Actions: flintlib/flint

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1486 from flintlib/alex/actualdoc CI #1060: Commit d76d46f pushed by edgarcosta
October 10, 2023 13:10 12m 58s trunk
trunk
October 10, 2023 13:10 12m 58s
really fix the pdf build CI #1059: Pull request #1486 synchronize by alexjbest
October 10, 2023 13:06 2m 49s alex/actualdoc
alex/actualdoc
October 10, 2023 13:06 2m 49s
Moving flintxx CI #1058: Pull request #1481 synchronize by edgarcosta
October 10, 2023 12:36 17m 48s edgarcosta:purgeflintxx
edgarcosta:purgeflintxx
October 10, 2023 12:36 17m 48s
Merge pull request #1484 from Joel-Dahne/documentation-fix-fix CI #1057: Commit 346797d pushed by fredrik-johansson
October 10, 2023 12:18 58m 5s trunk
trunk
October 10, 2023 12:18 58m 5s
Documentation: Fix reference in documentation CI #1056: Pull request #1484 opened by Joel-Dahne
October 10, 2023 12:17 1m 11s Joel-Dahne:documentation-fix-fix
Joel-Dahne:documentation-fix-fix
October 10, 2023 12:17 1m 11s
Merge pull request #1483 from flintlib/mh/badges CI #1055: Commit cf27153 pushed by fredrik-johansson
October 10, 2023 12:17 55m 15s trunk
trunk
October 10, 2023 12:17 55m 15s
Merge pull request #1478 from flintlib/sphinxjobs CI #1054: Commit e5c8b94 pushed by fredrik-johansson
October 10, 2023 12:10 1h 4m 1s trunk
trunk
October 10, 2023 12:10 1h 4m 1s
Merge pull request #1482 from fingolfin/mh/docs-copyright CI #1053: Commit a3480bc pushed by fredrik-johansson
October 10, 2023 12:04 1h 47m 24s trunk
trunk
October 10, 2023 12:04 1h 47m 24s
README.md: Add some badges CI #1052: Pull request #1483 opened by fingolfin
October 10, 2023 12:02 1h 13m 14s mh/badges
mh/badges
October 10, 2023 12:02 1h 13m 14s
Update the copyright shown in the documentation CI #1051: Pull request #1482 opened by fingolfin
October 10, 2023 12:00 1h 35m 2s fingolfin:mh/docs-copyright
fingolfin:mh/docs-copyright
October 10, 2023 12:00 1h 35m 2s
Moving flintxx CI #1050: Pull request #1481 opened by edgarcosta
October 10, 2023 12:00 38m 8s edgarcosta:purgeflintxx
edgarcosta:purgeflintxx
October 10, 2023 12:00 38m 8s
Merge pull request #1480 from Joel-Dahne/documentation CI #1049: Commit 0ecdaa4 pushed by fredrik-johansson
October 10, 2023 11:59 1h 6m 1s trunk
trunk
October 10, 2023 11:59 1h 6m 1s
Merge pull request #1479 from edgarcosta/stale CI #1048: Commit b1dff18 pushed by fredrik-johansson
October 10, 2023 11:58 20m 50s trunk
trunk
October 10, 2023 11:58 20m 50s
Enhance 'make dist', add GitHub release workflow CI #1047: Pull request #1449 synchronize by fingolfin
October 10, 2023 11:57 45m 21s fingolfin:mh/dist
fingolfin:mh/dist
October 10, 2023 11:57 45m 21s
Fixes to documentation CI #1046: Pull request #1480 synchronize by Joel-Dahne
October 10, 2023 11:57 45m 50s Joel-Dahne:documentation
Joel-Dahne:documentation
October 10, 2023 11:57 45m 50s
Fixes to documentation CI #1045: Pull request #1480 opened by Joel-Dahne
October 10, 2023 10:36 50m 12s Joel-Dahne:documentation
Joel-Dahne:documentation
October 10, 2023 10:36 50m 12s
removing stale files CI #1044: Pull request #1479 opened by edgarcosta
October 10, 2023 10:19 56m 39s edgarcosta:stale
edgarcosta:stale
October 10, 2023 10:19 56m 39s
Use as many jobs as you have cores to build docs CI #1043: Pull request #1478 opened by alexjbest
October 10, 2023 10:08 18s sphinxjobs
sphinxjobs
October 10, 2023 10:08 18s
need latexmk CI #1042: Commit 1c7c17b pushed by alexjbest
October 10, 2023 10:01 9s trunk
trunk
October 10, 2023 10:01 9s
Merge pull request #1469 from edgarcosta/FLINTUNUSED CI #1041: Commit 017cc74 pushed by fredrik-johansson
October 10, 2023 09:58 59m 23s trunk
trunk
October 10, 2023 09:58 59m 23s
Remove dum dummy-functions CI #1040: Pull request #1464 synchronize by albinahlback
October 10, 2023 09:58 59m 31s albinahlback:remove_dum_dummies
albinahlback:remove_dum_dummies
October 10, 2023 09:58 59m 31s
use doxygen CI #1039: Pull request #1477 opened by alexjbest
October 10, 2023 09:58 13s alexjbest:alex/sphinx
alexjbest:alex/sphinx
October 10, 2023 09:58 13s
Merge pull request #1476 from rburing/slong_is_not_ulong CI #1038: Commit b41eb02 pushed by albinahlback
October 10, 2023 09:43 53m 50s trunk
trunk
October 10, 2023 09:43 53m 50s
pthread -> thread_pool in Arb CI #1037: Pull request #1475 synchronize by albinahlback
October 10, 2023 09:40 51m 1s albinahlback:remove_pthread_arb
albinahlback:remove_pthread_arb
October 10, 2023 09:40 51m 1s
Merge pull request #1462 from flintlib/alexjbest-patch-2 CI #1036: Commit d3cd1cc pushed by alexjbest
October 10, 2023 09:29 32m 23s trunk
trunk
October 10, 2023 09:29 32m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.