Skip to content

Actions: algebraic-solving/msolve

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

AVX512 msolve CI #143: Pull request #102 opened by ederc
November 10, 2023 20:22 6m 4s ederc:avx512
ederc:avx512
November 10, 2023 20:22 6m 4s
Merge pull request #101 from jerebertho/doc_update msolve CI #142: Commit c8f4ebe pushed by ederc
November 7, 2023 18:47 2m 58s master
master
November 7, 2023 18:47 2m 58s
Merge pull request #100 from jerebertho/fix_bug_change_var_nonradical msolve CI #141: Commit 40731f1 pushed by ederc
November 7, 2023 18:46 4m 43s master
master
November 7, 2023 18:46 4m 43s
update msolve-tutorial.tex to reflect recent changes for the outputs msolve CI #140: Pull request #101 opened by jerebertho
November 7, 2023 09:09 5m 33s jerebertho:doc_update
jerebertho:doc_update
November 7, 2023 09:09 5m 33s
Fix bug change var nonradical msolve CI #139: Pull request #100 opened by jerebertho
November 5, 2023 22:03 6m 20s jerebertho:fix_bug_change_var_nonradical
jerebertho:fix_bug_change_var_nonradical
November 5, 2023 22:03 6m 20s
Fix bug change of variables msolve CI #138: Pull request #98 synchronize by jerebertho
November 5, 2023 21:38 3m 30s jerebertho:bug_change_var
jerebertho:bug_change_var
November 5, 2023 21:38 3m 30s
Merge pull request #99 from ederc/build-system msolve CI #137: Commit 355e948 pushed by jerebertho
November 5, 2023 21:06 6m 28s master
master
November 5, 2023 21:06 6m 28s
Build system fixes msolve CI #136: Pull request #99 opened by ederc
November 5, 2023 13:48 3m 44s ederc:build-system
ederc:build-system
November 5, 2023 13:48 3m 44s
Merge pull request #97 from mohabsafey/lifting-gb msolve CI #135: Commit 47f6d80 pushed by mohabsafey
November 5, 2023 09:26 3m 43s master
master
November 5, 2023 09:26 3m 43s
Additional bug fixes msolve CI #134: Pull request #97 synchronize by mohabsafey
November 5, 2023 09:19 4m 46s mohabsafey:lifting-gb
mohabsafey:lifting-gb
November 5, 2023 09:19 4m 46s
Fix bug change of variables msolve CI #133: Pull request #98 opened by jerebertho
November 4, 2023 23:23 7m 28s jerebertho:bug_change_var
jerebertho:bug_change_var
November 4, 2023 23:23 7m 28s
Additional bug fixes msolve CI #132: Pull request #97 opened by mohabsafey
November 4, 2023 13:43 4m 28s mohabsafey:lifting-gb
mohabsafey:lifting-gb
November 4, 2023 13:43 4m 28s
Merge pull request #95 from ederc/meta_data msolve CI #131: Commit 3e6972d pushed by mohabsafey
November 3, 2023 10:19 4m 39s master
master
November 3, 2023 10:19 4m 39s
Gröbner basis meta data msolve CI #130: Pull request #95 opened by ederc
November 3, 2023 09:47 4m 0s ederc:meta_data
ederc:meta_data
November 3, 2023 09:47 4m 0s
Merge pull request #94 from ederc/v0.6.1 msolve CI #129: Commit 2b07212 pushed by ederc
November 2, 2023 11:28 6m 7s master
master
November 2, 2023 11:28 6m 7s
v0.6.1 msolve CI #128: Pull request #94 synchronize by ederc
November 2, 2023 10:31 5m 39s ederc:v0.6.1
ederc:v0.6.1
November 2, 2023 10:31 5m 39s
v0.6.1 msolve CI #127: Pull request #94 opened by ederc
November 2, 2023 08:51 3m 22s ederc:v0.6.1
ederc:v0.6.1
November 2, 2023 08:51 3m 22s
Merge pull request #91 from ederc/v0.6 msolve CI #126: Commit e041d4a pushed by ederc
October 30, 2023 10:53 4m 56s master
master
October 30, 2023 10:53 4m 56s
bumps version -> 0.6 msolve CI #125: Pull request #91 opened by ederc
October 30, 2023 10:42 5m 14s ederc:v0.6
ederc:v0.6
October 30, 2023 10:42 5m 14s
Merge pull request #90 from mohabsafey/lifting-gb msolve CI #124: Commit 250fbae pushed by mohabsafey
October 30, 2023 07:16 4m 21s master
master
October 30, 2023 07:16 4m 21s
Bug fixes and various improvements msolve CI #123: Pull request #90 synchronize by mohabsafey
October 28, 2023 11:51 3m 41s mohabsafey:lifting-gb
mohabsafey:lifting-gb
October 28, 2023 11:51 3m 41s
Bug fixes and various improvements msolve CI #122: Pull request #90 opened by mohabsafey
October 28, 2023 11:38 4m 41s mohabsafey:lifting-gb
mohabsafey:lifting-gb
October 28, 2023 11:38 4m 41s
Merge pull request #89 from vneiger/fix_flint30_redefinition_upolmat msolve CI #121: Commit ef70649 pushed by mohabsafey
October 28, 2023 09:16 6m 34s master
master
October 28, 2023 09:16 6m 34s
fixing issue "redefinition of ..." due to new functionalities in Flint 3.0 msolve CI #120: Pull request #89 opened by vneiger
October 27, 2023 18:46 3m 51s vneiger:fix_flint30_redefinition_upolmat
vneiger:fix_flint30_redefinition_upolmat
October 27, 2023 18:46 3m 51s
Merge pull request #88 from ederc/nf-interface msolve CI #119: Commit 4a73460 pushed by ederc
October 26, 2023 07:38 4m 28s master
master
October 26, 2023 07:38 4m 28s