Skip to content

Actions: Nemocas/AbstractAlgebra.jl

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
756 workflow run results
756 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Overhaul special printing macros
OscarCI #1895: Pull request #1594 synchronize by lgoettgens
February 2, 2024 16:20 1h 3m 28s lgoettgens:lg/show-name
February 2, 2024 16:20 1h 3m 28s
Overhaul special printing macros
OscarCI #1894: Pull request #1594 opened by lgoettgens
February 2, 2024 16:14 4m 47s lgoettgens:lg/show-name
February 2, 2024 16:14 4m 47s
Hopefully fix unicodes and indented pretty printing
OscarCI #1893: Pull request #1581 synchronize by aaruni96
February 2, 2024 16:12 1h 55m 34s aaruni96:ak96/indented_unicodes
February 2, 2024 16:12 1h 55m 34s
fix: make dot work again
OscarCI #1892: Pull request #1593 synchronize by thofma
February 2, 2024 16:08 48m 18s th/dot
February 2, 2024 16:08 48m 18s
Move special printing macros to PrettyPrinting (#1592)
OscarCI #1891: Commit 6fda78f pushed by lgoettgens
February 2, 2024 15:49 1h 59m 7s master
February 2, 2024 15:49 1h 59m 7s
fix: make dot work again
OscarCI #1890: Pull request #1593 synchronize by thofma
February 2, 2024 15:44 25m 16s th/dot
February 2, 2024 15:44 25m 16s
fix: make dot work again
OscarCI #1889: Pull request #1593 synchronize by thofma
February 2, 2024 14:52 51m 50s th/dot
February 2, 2024 14:52 51m 50s
fix: make dot work again
OscarCI #1888: Pull request #1593 synchronize by thofma
February 2, 2024 14:38 14m 13s th/dot
February 2, 2024 14:38 14m 13s
fix: make dot work again
OscarCI #1887: Pull request #1593 opened by thofma
February 2, 2024 14:26 12m 29s th/dot
February 2, 2024 14:26 12m 29s
feat: fix generalized indexing
OscarCI #1886: Pull request #1585 reopened by thofma
February 2, 2024 14:05 1h 51m 5s th/index
February 2, 2024 14:05 1h 51m 5s
chore: bump to 0.37.4
OscarCI #1885: Commit c8b22bf pushed by thofma
February 2, 2024 14:05 2h 2m 52s master
February 2, 2024 14:05 2h 2m 52s
Hopefully fix unicodes and indented pretty printing
OscarCI #1884: Pull request #1581 synchronize by aaruni96
February 2, 2024 13:47 1h 56m 38s aaruni96:ak96/indented_unicodes
February 2, 2024 13:47 1h 56m 38s
Move special printing macros to PrettyPrinting
OscarCI #1883: Pull request #1592 synchronize by lgoettgens
February 2, 2024 11:32 1h 58m 39s lgoettgens:lg/show-special
February 2, 2024 11:32 1h 58m 39s
Overhaul Unicode preferences
OscarCI #1882: Pull request #1586 synchronize by lgoettgens
February 2, 2024 11:28 2h 0m 1s lgoettgens:lg/with_unicode
February 2, 2024 11:28 2h 0m 1s
fix: use is_one instead of == 1
OscarCI #1881: Pull request #1591 reopened by lgoettgens
February 2, 2024 11:28 2h 2m 5s th/fixfix
February 2, 2024 11:28 2h 2m 5s
Move special printing macros to PrettyPrinting
OscarCI #1880: Pull request #1592 opened by lgoettgens
February 2, 2024 11:21 11m 18s lgoettgens:lg/show-special
February 2, 2024 11:21 11m 18s
Overhaul Unicode preferences
OscarCI #1879: Pull request #1586 synchronize by lgoettgens
February 2, 2024 10:38 30m 54s lgoettgens:lg/with_unicode
February 2, 2024 10:38 30m 54s
fix: use is_one instead of == 1
OscarCI #1878: Pull request #1591 synchronize by thofma
February 2, 2024 09:44 57s th/fixfix
February 2, 2024 09:44 57s
fix: use is_one instead of == 1
OscarCI #1877: Pull request #1591 synchronize by thofma
February 2, 2024 09:43 1m 9s th/fixfix
February 2, 2024 09:43 1m 9s
fix: use is_one instead of == 1
OscarCI #1876: Pull request #1591 opened by thofma
February 2, 2024 09:42 31m 12s th/fixfix
February 2, 2024 09:42 31m 12s
feat: fix generalized indexing
OscarCI #1875: Pull request #1585 synchronize by thofma
February 2, 2024 08:02 31m 10s th/index
February 2, 2024 08:02 31m 10s
feat: fix generalized indexing
OscarCI #1874: Pull request #1585 reopened by thofma
February 1, 2024 19:02 3m 7s th/index
February 1, 2024 19:02 3m 7s
Revert "Update Mpoly printing" (#1590)
OscarCI #1873: Commit 14b8c2b pushed by lgoettgens
February 1, 2024 13:46 3m 23s master
February 1, 2024 13:46 3m 23s
Revert "Update Mpoly printing"
OscarCI #1872: Pull request #1590 synchronize by lgoettgens
February 1, 2024 13:04 3m 40s revert-1589-lg/mpoly-printing
February 1, 2024 13:04 3m 40s
Revert "Update Mpoly printing"
OscarCI #1871: Pull request #1590 opened by lgoettgens
February 1, 2024 13:03 1m 54s revert-1589-lg/mpoly-printing
February 1, 2024 13:03 1m 54s