Skip to content

Actions: algebraic-solving/msolve

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
401 workflow runs
401 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
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
Merge pull request #340 from jerebertho/streams msolve CI #765: Commit 8093bca pushed by mohabsafey
9m 11s master
master
9m 11s
adds #define for print streams: output, verbose and error msolve CI #764: Pull request #340 synchronize by jerebertho
8m 27s jerebertho:streams
jerebertho:streams
8m 27s
adds #define for print streams: output, verbose and error msolve CI #763: Pull request #340 opened by jerebertho
8m 40s jerebertho:streams
jerebertho:streams
8m 40s
Merge pull request #338 from ederc/improving-update msolve CI #762: Commit 7e0ef99 pushed by mohabsafey
8m 35s master
master
8m 35s