Skip to content

Actions: Nemocas/Nemo.jl

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,154 workflow runs
1,154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run tests
Run tests #2778: Scheduled
October 4, 2024 03:22 16m 21s master
October 4, 2024 03:22 16m 21s
Run tests
Run tests #2777: Scheduled
October 3, 2024 03:22 16m 24s master
October 3, 2024 03:22 16m 24s
Run tests
Run tests #2776: Scheduled
October 2, 2024 03:22 16m 3s master
October 2, 2024 03:22 16m 3s
Add and use zero!, one!, neg! methods
Run tests #2775: Pull request #1869 synchronize by fingolfin
October 1, 2024 07:42 16m 20s mh/zero-one-neg
October 1, 2024 07:42 16m 20s
Run tests
Run tests #2774: Scheduled
October 1, 2024 03:24 15m 49s master
October 1, 2024 03:24 15m 49s
Yet more flinitfy (and related tweaks)
Run tests #2773: Pull request #1876 opened by fingolfin
September 30, 2024 22:24 15m 46s mh/yet-more-flintify
September 30, 2024 22:24 15m 46s
Optimize mat_entry_ptr methods (#1871)
Run tests #2772: Commit fbef9d1 pushed by lgoettgens
September 30, 2024 20:05 16m 40s master
September 30, 2024 20:05 16m 40s
Use ..OrPtr in more places (#1873)
Run tests #2771: Commit 2ac41c7 pushed by fingolfin
September 30, 2024 20:02 15m 59s master
September 30, 2024 20:02 15m 59s
Use ..OrPtr in more places
Run tests #2770: Pull request #1873 synchronize by fingolfin
September 30, 2024 17:01 16m 24s mh/OrPtr
September 30, 2024 17:01 16m 24s
Optimize mat_entry_ptr methods
Run tests #2769: Pull request #1871 synchronize by fingolfin
September 30, 2024 17:00 16m 10s mh/mat_entry_ptr
September 30, 2024 17:00 16m 10s
Use flintify some more (#1874)
Run tests #2768: Commit 3d6f7ef pushed by fingolfin
September 30, 2024 16:02 17m 44s master
September 30, 2024 16:02 17m 44s
Reduce allocations in QQFieldElem construction (#1872)
Run tests #2767: Commit 40d7365 pushed by fingolfin
September 30, 2024 15:23 16m 7s master
September 30, 2024 15:23 16m 7s
Add and use zero!, one!, neg! methods
Run tests #2766: Pull request #1869 synchronize by fingolfin
September 30, 2024 13:01 15m 44s mh/zero-one-neg
September 30, 2024 13:01 15m 44s
Use ..OrPtr in more places
Run tests #2765: Pull request #1873 synchronize by fingolfin
September 30, 2024 13:01 16m 46s mh/OrPtr
September 30, 2024 13:01 16m 46s
Use flintify some more
Run tests #2764: Pull request #1874 opened by fingolfin
September 30, 2024 13:00 15m 57s mh/more-flintify
September 30, 2024 13:00 15m 57s
Use ..OrPtr in more places
Run tests #2763: Pull request #1873 opened by fingolfin
September 30, 2024 12:56 5m 31s mh/OrPtr
September 30, 2024 12:56 5m 31s
Reduce allocations in QQFieldElem construction
Run tests #2762: Pull request #1872 opened by lgoettgens
September 30, 2024 12:14 16m 29s lgoettgens:lg/QQ-allocs
September 30, 2024 12:14 16m 29s
Remove redundant one/zero methods for ring elements (#1870)
Run tests #2761: Commit 05e38da pushed by lgoettgens
September 30, 2024 09:11 16m 30s master
September 30, 2024 09:11 16m 30s
Optimize mat_entry_ptr methods
Run tests #2760: Pull request #1871 opened by fingolfin
September 30, 2024 08:56 15m 52s mh/mat_entry_ptr
September 30, 2024 08:56 15m 52s
Run tests
Run tests #2759: Scheduled
September 30, 2024 03:23 16m 3s master
September 30, 2024 03:23 16m 3s
Add and use zero!, one!, neg! methods
Run tests #2758: Pull request #1869 synchronize by fingolfin
September 29, 2024 20:26 16m 33s mh/zero-one-neg
September 29, 2024 20:26 16m 33s
Remove redundant one/zero methods for ring elements
Run tests #2757: Pull request #1870 opened by fingolfin
September 29, 2024 20:23 17m 11s mh/rm-redundant-zero-one
September 29, 2024 20:23 17m 11s
Run tests
Run tests #2756: Scheduled
September 29, 2024 03:23 16m 28s master
September 29, 2024 03:23 16m 28s
Run tests
Run tests #2755: Scheduled
September 28, 2024 03:22 16m 27s master
September 28, 2024 03:22 16m 27s
Move QQMatrix(::ZZMatrix) constructor (#1868)
Run tests #2754: Commit 8b486cc pushed by fingolfin
September 27, 2024 17:45 16m 43s master
September 27, 2024 17:45 16m 43s