Skip to content

Actions: Nemocas/Nemo.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
1,070 workflow runs
1,070 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Export is_nilpotent OscarCI #949: Pull request #1504 synchronize by lgoettgens
July 6, 2023 13:39 3m 49s lgoettgens:patch-1
lgoettgens:patch-1
July 6, 2023 13:39 3m 49s
Export is_nilpotent OscarCI #948: Pull request #1504 opened by lgoettgens
July 6, 2023 13:35 3m 40s lgoettgens:patch-1
lgoettgens:patch-1
July 6, 2023 13:35 3m 40s
Bump version to 0.35.0 (#1503) OscarCI #947: Commit e4fa82f pushed by thofma
July 6, 2023 10:02 5m 24s master
master
July 6, 2023 10:02 5m 24s
Move obvious type piracy from Hecke to Nemo (#1501) OscarCI #946: Commit 513e097 pushed by thofma
July 6, 2023 10:01 5m 5s master
master
July 6, 2023 10:01 5m 5s
Bump version to 0.35.0 OscarCI #945: Pull request #1503 opened by lgoettgens
July 6, 2023 09:49 5m 20s lgoettgens:patch-1
lgoettgens:patch-1
July 6, 2023 09:49 5m 20s
Move obvious type piracy from Hecke to Nemo OscarCI #944: Pull request #1501 synchronize by lgoettgens
July 6, 2023 09:30 4m 20s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 6, 2023 09:30 4m 20s
Change argument order in roots (#1486) OscarCI #943: Commit 2942627 pushed by thofma
July 6, 2023 09:29 3m 58s master
master
July 6, 2023 09:29 3m 58s
Move obvious type piracy from Hecke to Nemo OscarCI #942: Pull request #1501 synchronize by lgoettgens
July 6, 2023 09:18 12m 39s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 6, 2023 09:18 12m 39s
Change argument order in roots OscarCI #941: Pull request #1486 reopened by thofma
July 6, 2023 09:06 4m 17s lgoettgens:lg/factor
lgoettgens:lg/factor
July 6, 2023 09:06 4m 17s
Change return argument order of is_prime_power_with_data (#1484) OscarCI #940: Commit 5aaab34 pushed by thofma
July 6, 2023 08:54 6h 3m 48s master
master
July 6, 2023 08:54 6h 3m 48s
Change argument order in roots OscarCI #939: Pull request #1486 synchronize by lgoettgens
July 6, 2023 08:53 4m 19s lgoettgens:lg/factor
lgoettgens:lg/factor
July 6, 2023 08:53 4m 19s
Move obvious type piracy from Hecke to Nemo OscarCI #938: Pull request #1501 synchronize by lgoettgens
July 5, 2023 15:46 2h 31m 56s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 5, 2023 15:46 2h 31m 56s
Move obvious type piracy from Hecke to Nemo OscarCI #937: Pull request #1501 synchronize by lgoettgens
July 3, 2023 20:52 1h 55m 33s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 3, 2023 20:52 1h 55m 33s
Move obvious type piracy from Hecke to Nemo OscarCI #936: Pull request #1501 synchronize by lgoettgens
July 3, 2023 16:35 8m 48s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 3, 2023 16:35 8m 48s
Move obvious type piracy from Hecke to Nemo OscarCI #935: Pull request #1501 synchronize by lgoettgens
July 3, 2023 16:18 11m 10s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 3, 2023 16:18 11m 10s
Move obvious type piracy from Hecke to Nemo OscarCI #934: Pull request #1501 synchronize by lgoettgens
July 2, 2023 16:25 1h 58m 35s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 2, 2023 16:25 1h 58m 35s
Move obvious type piracy from Hecke to Nemo OscarCI #933: Pull request #1501 synchronize by lgoettgens
July 2, 2023 16:24 1m 7s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 2, 2023 16:24 1m 7s
Replace == nothing by === nothing (#1502) OscarCI #932: Commit 741ba26 pushed by fingolfin
July 2, 2023 09:21 2h 23m 1s master
master
July 2, 2023 09:21 2h 23m 1s
Move obvious type piracy from Hecke to Nemo OscarCI #931: Pull request #1501 synchronize by lgoettgens
July 1, 2023 17:09 1h 41m 41s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 1, 2023 17:09 1h 41m 41s
Move obvious type piracy from Hecke to Nemo OscarCI #930: Pull request #1501 synchronize by lgoettgens
July 1, 2023 17:02 7m 48s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
July 1, 2023 17:02 7m 48s
Move obvious type piracy from Hecke to Nemo OscarCI #929: Pull request #1501 synchronize by lgoettgens
June 30, 2023 16:55 24m 2s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 30, 2023 16:55 24m 2s
Move obvious type piracy from Hecke to Nemo OscarCI #928: Pull request #1501 synchronize by lgoettgens
June 30, 2023 11:44 15m 36s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 30, 2023 11:44 15m 36s
Move obvious type piracy from Hecke to Nemo OscarCI #927: Pull request #1501 synchronize by lgoettgens
June 29, 2023 17:21 1h 48m 51s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 17:21 1h 48m 51s
Move obvious type piracy from Hecke to Nemo OscarCI #926: Pull request #1501 synchronize by lgoettgens
June 29, 2023 17:09 12m 25s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 17:09 12m 25s
Move obvious type piracy from Hecke to Nemo OscarCI #925: Pull request #1501 synchronize by lgoettgens
June 29, 2023 16:46 23m 42s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 16:46 23m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-06-29 or the other filters available.