Skip to content

Actions: LMFDB/lmfdb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,689 workflow runs
1,689 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #5555 from jwj61/compresspolys
Tests #2069: Commit b27ded7 pushed by AndrewVSutherland
July 13, 2023 12:28 11m 9s master
July 13, 2023 12:28 11m 9s
Merge pull request #5561 from roed314/knowl_unknown_subgroups
Tests #2068: Commit 7693df9 pushed by jwj61
July 13, 2023 08:28 21m 15s master
July 13, 2023 08:28 21m 15s
Merge pull request #5561 from roed314/knowl_unknown_subgroups
Format python code #175: Commit 7693df9 pushed by jwj61
July 13, 2023 08:28 1m 58s master
July 13, 2023 08:28 1m 58s
Merge pull request #5560 from roed314/groups_rename
Format python code #174: Commit 2d77e7e pushed by jwj61
July 13, 2023 08:25 1m 47s master
July 13, 2023 08:25 1m 47s
Merge pull request #5560 from roed314/groups_rename
Tests #2067: Commit 2d77e7e pushed by jwj61
July 13, 2023 08:25 17m 15s master
July 13, 2023 08:25 17m 15s
Proj gp issue
Tests #2066: Pull request #5563 opened by jenpaulhus
July 12, 2023 22:17 16m 42s jenpaulhus:proj_gp_issue
July 12, 2023 22:17 16m 42s
Merge pull request #5557 from jwj61/master
Format python code #173: Commit aa2f96f pushed by jenpaulhus
July 12, 2023 21:52 1m 42s master
July 12, 2023 21:52 1m 42s
Merge pull request #5557 from jwj61/master
Tests #2064: Commit aa2f96f pushed by jenpaulhus
July 12, 2023 21:52 16m 18s master
July 12, 2023 21:52 16m 18s
Change gps_groups to gps_groups_test across the LMFDB
Tests #2063: Pull request #5560 opened by roed314
July 12, 2023 21:51 10m 40s roed314:groups_rename
July 12, 2023 21:51 10m 40s
Merge pull request #5559 from roed314/points_type
Tests #2062: Commit 9e3623d pushed by jwj61
July 12, 2023 21:25 14m 23s master
July 12, 2023 21:25 14m 23s
Merge pull request #5559 from roed314/points_type
Format python code #172: Commit 9e3623d pushed by jwj61
July 12, 2023 21:25 1m 27s master
July 12, 2023 21:25 1m 27s
Fix typo in betweeen
Tests #2061: Pull request #5559 opened by roed314
July 12, 2023 21:24 10m 33s roed314:points_type
July 12, 2023 21:24 10m 33s
Merge pull request #5558 from jenpaulhus/gps_fix
Tests #2060: Commit d8df396 pushed by jwj61
July 12, 2023 21:17 16m 26s master
July 12, 2023 21:17 16m 26s
Merge pull request #5558 from jenpaulhus/gps_fix
Format python code #171: Commit d8df396 pushed by jwj61
July 12, 2023 21:17 1m 34s master
July 12, 2023 21:17 1m 34s
fixes issue for largest groups
Tests #2059: Pull request #5558 opened by jenpaulhus
July 12, 2023 20:16 16m 29s jenpaulhus:gps_fix
July 12, 2023 20:16 16m 29s
Merge pull request #5546 from roed314/points_type
Format python code #170: Commit a48eb10 pushed by AndrewVSutherland
July 12, 2023 18:36 1m 27s master
July 12, 2023 18:36 1m 27s
Merge pull request #5546 from roed314/points_type
Tests #2058: Commit a48eb10 pushed by AndrewVSutherland
July 12, 2023 18:36 17m 44s master
July 12, 2023 18:36 17m 44s
Fix minor bug in display of quotient groups
Tests #2057: Pull request #5557 opened by jwj61
July 12, 2023 18:32 12m 16s jwj61:master
July 12, 2023 18:32 12m 16s
Compress polynomials in the search results display
Tests #2056: Pull request #5555 opened by jwj61
July 12, 2023 15:28 8m 11s jwj61:compresspolys
July 12, 2023 15:28 8m 11s
Merge pull request #5554 from LMFDB/master
Tests #2055: Commit 67e4ae3 pushed by AndrewVSutherland
July 11, 2023 21:42 18m 48s dev
dev
July 11, 2023 21:42 18m 48s
master -> dev
Tests #2054: Pull request #5554 opened by AndrewVSutherland
July 11, 2023 21:42 12m 26s master
July 11, 2023 21:42 12m 26s
Merge pull request #5553 from jwj61/master
Tests #2053: Commit de04250 pushed by JohnCremona
July 11, 2023 20:41 12m 44s master
July 11, 2023 20:41 12m 44s
Merge pull request #5553 from jwj61/master
Format python code #169: Commit de04250 pushed by JohnCremona
July 11, 2023 20:41 1m 28s master
July 11, 2023 20:41 1m 28s
Typo
Tests #2052: Pull request #5553 opened by jwj61
July 11, 2023 19:41 16m 43s jwj61:master
July 11, 2023 19:41 16m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-07-11 or the other filters available.