Skip to content

Actions: algebraic-solving/msolve

Actions

msolve CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msolve.yml
394 workflow runs
394 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix for random multipliers in F4 linear algebra msolve CI #790: Pull request #348 opened by ederc
12m 10s prob-lin-fix
prob-lin-fix
12m 10s
Add monomial ordering to hash table msolve CI #789: Pull request #289 synchronize by wegank
12m 10s wegank:threads-fix-0
wegank:threads-fix-0
12m 10s
Merge pull request #346 from wegank/timespec-get-fallback msolve CI #788: Commit 0441849 pushed by ederc
11m 22s master
master
11m 22s
Add fallback for timespec_get msolve CI #787: Pull request #346 opened by wegank
12m 4s wegank:timespec-get-fallback
wegank:timespec-get-fallback
12m 4s
Merge pull request #333 from mohabsafey/v096 msolve CI #786: Commit 1c67c70 pushed by ederc
12m 22s master
master
12m 22s
prepares v0.10.0 msolve CI #785: Pull request #333 synchronize by ederc
12m 20s mohabsafey:v096
mohabsafey:v096
12m 20s
Merge pull request #343 from wegank/unistd-drop msolve CI #784: Commit 6692bdc pushed by ederc
12m 24s master
master
12m 24s
prepares v0.10.0 msolve CI #783: Pull request #333 synchronize by mohabsafey
12m 55s mohabsafey:v096
mohabsafey:v096
12m 55s
Drop sys/time.h and unistd.h msolve CI #782: Pull request #343 synchronize by wegank
12m 37s wegank:unistd-drop
wegank:unistd-drop
12m 37s
Merge pull request #344 from wegank/inline-fix msolve CI #781: Commit 678e2e1 pushed by ederc
13m 20s master
master
13m 20s
Replace __inline__ with inline msolve CI #780: Pull request #344 opened by wegank
12m 32s wegank:inline-fix
wegank:inline-fix
12m 32s
Drop sys/time.h and unistd.h msolve CI #779: Pull request #343 opened by wegank
11m 49s wegank:unistd-drop
wegank:unistd-drop
11m 49s
Merge pull request #291 from talregev/TalR/fix_android msolve CI #778: Commit 44e9877 pushed by ederc
12m 2s master
master
12m 2s
Fix for cross compiling for android msolve CI #777: Pull request #291 reopened by ederc
9m 23s talregev:TalR/fix_android
talregev:TalR/fix_android
9m 23s
Merge pull request #214 from wegank/port-to-windows-0 msolve CI #776: Commit 6c26857 pushed by ederc
12m 8s master
master
12m 8s
Port to Windows msolve CI #775: Pull request #214 synchronize by wegank
12m 4s wegank:port-to-windows-0
wegank:port-to-windows-0
12m 4s
Port to Windows msolve CI #774: Pull request #214 synchronize by wegank
10m 18s wegank:port-to-windows-0
wegank:port-to-windows-0
10m 18s
Port to Windows msolve CI #773: Pull request #214 synchronize by wegank
12m 58s wegank:port-to-windows-0
wegank:port-to-windows-0
12m 58s
Make check with fixed seed on x86_64 macOS msolve CI #772: Pull request #342 synchronize by wegank
8m 43s wegank:ci-test
wegank:ci-test
8m 43s
Make check with fixed seed on x86_64 macOS msolve CI #771: Pull request #342 opened by wegank
46s wegank:ci-test
wegank:ci-test
46s
Adds tier policy document msolve CI #770: Pull request #341 synchronize by ederc
8m 44s ederc:tier-policy
ederc:tier-policy
8m 44s
Adds tier policy document msolve CI #769: Pull request #341 synchronize by ederc
9m 12s ederc:tier-policy
ederc:tier-policy
9m 12s
Adds tier policy document msolve CI #768: Pull request #341 synchronize by ederc
8m 47s ederc:tier-policy
ederc:tier-policy
8m 47s
Adds tier policy document msolve CI #767: Pull request #341 synchronize by ederc
8m 24s ederc:tier-policy
ederc:tier-policy
8m 24s
Adds tier policy document msolve CI #766: Pull request #341 opened by ederc
8m 22s ederc:tier-policy
ederc:tier-policy
8m 22s