Skip to content

Actions: algebraic-solving/msolve

Actions

msolve CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msolve.yml
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Normal form interface msolve CI #118: Pull request #88 opened by ederc
October 24, 2023 12:17 6m 35s ederc:nf-interface
ederc:nf-interface
October 24, 2023 12:17 6m 35s
Merge pull request #87 from ederc/matrix-printing msolve CI #117: Commit d8d5ccb pushed by ederc
October 13, 2023 07:55 6m 19s master
master
October 13, 2023 07:55 6m 19s
Fixes normal form computations msolve CI #116: Pull request #87 opened by ederc
October 10, 2023 11:59 6m 23s ederc:matrix-printing
ederc:matrix-printing
October 10, 2023 11:59 6m 23s
Merge pull request #81 from vneiger/basic_polmat_and_pmbasis msolve CI #115: Commit fcbccf5 pushed by mohabsafey
October 2, 2023 14:38 5m 19s master
master
October 2, 2023 14:38 5m 19s
Merge pull request #85 from jerebertho/make_check_F4SAT msolve CI #114: Commit 9ec8b8d pushed by ederc
September 27, 2023 09:31 6m 36s master
master
September 27, 2023 09:31 6m 36s
make check for F4SAT with 2 threads msolve CI #113: Pull request #85 synchronize by jerebertho
September 27, 2023 09:04 5m 48s jerebertho:make_check_F4SAT
jerebertho:make_check_F4SAT
September 27, 2023 09:04 5m 48s
make check for F4SAT with 2 threads msolve CI #112: Pull request #85 opened by jerebertho
September 27, 2023 09:01 44s jerebertho:make_check_F4SAT
jerebertho:make_check_F4SAT
September 27, 2023 09:01 44s
Merge pull request #84 from ederc/f4sat-threading msolve CI #111: Commit 75590b9 pushed by jerebertho
September 27, 2023 08:18 6m 26s master
master
September 27, 2023 08:18 6m 26s
F4sat threading fixes msolve CI #110: Pull request #84 opened by ederc
September 27, 2023 07:40 6m 38s ederc:f4sat-threading
ederc:f4sat-threading
September 27, 2023 07:40 6m 38s
Merge pull request #83 from jerebertho/make_check-with-diff msolve CI #109: Commit 553b490 pushed by ederc
September 26, 2023 18:44 6m 9s master
master
September 26, 2023 18:44 6m 9s
Make check with diff msolve CI #108: Pull request #83 synchronize by jerebertho
September 26, 2023 13:50 3m 54s jerebertho:make_check-with-diff
jerebertho:make_check-with-diff
September 26, 2023 13:50 3m 54s
Make check with diff msolve CI #107: Pull request #83 opened by jerebertho
September 26, 2023 13:46 1m 0s jerebertho:make_check-with-diff
jerebertho:make_check-with-diff
September 26, 2023 13:46 1m 0s
Merge pull request #82 from jerebertho/F4SAT_printf_bug msolve CI #106: Commit b728448 pushed by ederc
September 26, 2023 12:50 3m 12s master
master
September 26, 2023 12:50 3m 12s
"normal form time" is now printed with info_level at least 2 msolve CI #105: Pull request #82 opened by jerebertho
September 26, 2023 12:17 6m 9s jerebertho:F4SAT_printf_bug
jerebertho:F4SAT_printf_bug
September 26, 2023 12:17 6m 9s
block-Wiedemann: fraction reconstruction msolve CI #104: Pull request #81 synchronize by vneiger
September 20, 2023 12:53 4m 23s vneiger:basic_polmat_and_pmbasis
vneiger:basic_polmat_and_pmbasis
September 20, 2023 12:53 4m 23s
block-Wiedemann: fraction reconstruction msolve CI #103: Pull request #81 synchronize by vneiger
September 18, 2023 14:37 3m 14s vneiger:basic_polmat_and_pmbasis
vneiger:basic_polmat_and_pmbasis
September 18, 2023 14:37 3m 14s
block-Wiedemann: fraction reconstruction msolve CI #102: Pull request #81 synchronize by vneiger
September 18, 2023 14:33 2m 7s vneiger:basic_polmat_and_pmbasis
vneiger:basic_polmat_and_pmbasis
September 18, 2023 14:33 2m 7s
block-Wiedemann: fraction reconstruction msolve CI #101: Pull request #81 opened by vneiger
September 18, 2023 14:22 1m 52s vneiger:basic_polmat_and_pmbasis
vneiger:basic_polmat_and_pmbasis
September 18, 2023 14:22 1m 52s
Merge pull request #76 from mezzarobba/flint3 msolve CI #100: Commit 0fb562f pushed by mohabsafey
September 15, 2023 08:54 5m 3s master
master
September 15, 2023 08:54 5m 3s
Merge pull request #80 from ederc/parser msolve CI #99: Commit 19233e2 pushed by mohabsafey
September 13, 2023 15:50 4m 33s master
master
September 13, 2023 15:50 4m 33s
Fixes parser msolve CI #98: Pull request #80 synchronize by ederc
September 13, 2023 12:21 5m 2s ederc:parser
ederc:parser
September 13, 2023 12:21 5m 2s
Fixes parser msolve CI #97: Pull request #80 synchronize by ederc
September 13, 2023 12:09 4m 16s ederc:parser
ederc:parser
September 13, 2023 12:09 4m 16s
Fixes parser msolve CI #96: Pull request #80 opened by ederc
September 13, 2023 12:04 4m 24s ederc:parser
ederc:parser
September 13, 2023 12:04 4m 24s
Make msolve build with flint 3 alpha msolve CI #95: Pull request #76 synchronize by mezzarobba
September 12, 2023 06:23 5m 11s mezzarobba:flint3
mezzarobba:flint3
September 12, 2023 06:23 5m 11s
Merge pull request #79 from ederc/remove-printing msolve CI #94: Commit ba242d9 pushed by ederc
September 11, 2023 19:25 5m 40s master
master
September 11, 2023 19:25 5m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-09-11 or the other filters available.