Skip to content

Actions: Nemocas/Nemo.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
52 workflow run results
52 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Move obvious type piracy from Hecke to Nemo OscarCI #924: Pull request #1501 synchronize by lgoettgens
June 29, 2023 15:42 9m 34s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 15:42 9m 34s
Move obvious type piracy from Hecke to Nemo OscarCI #923: Pull request #1501 synchronize by lgoettgens
June 29, 2023 15:40 2m 49s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 15:40 2m 49s
Move obvious type piracy from Hecke to Nemo OscarCI #922: Pull request #1501 synchronize by lgoettgens
June 29, 2023 15:14 26m 19s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 15:14 26m 19s
Move obvious type piracy from Hecke to Nemo OscarCI #921: Pull request #1501 synchronize by lgoettgens
June 29, 2023 14:54 19m 38s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 14:54 19m 38s
Move obvious type piracy from Hecke to Nemo OscarCI #920: Pull request #1501 synchronize by lgoettgens
June 29, 2023 14:23 31m 45s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 14:23 31m 45s
Move obvious type piracy from Hecke to Nemo OscarCI #919: Pull request #1501 synchronize by lgoettgens
June 29, 2023 13:45 38m 43s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 13:45 38m 43s
Move obvious type piracy from Hecke to Nemo OscarCI #918: Pull request #1501 synchronize by lgoettgens
June 29, 2023 13:44 21s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 13:44 21s
Move obvious type piracy from Hecke to Nemo OscarCI #917: Pull request #1501 synchronize by lgoettgens
June 29, 2023 10:35 1h 42m 55s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 10:35 1h 42m 55s
Move obvious type piracy from Hecke to Nemo OscarCI #916: Pull request #1501 synchronize by lgoettgens
June 29, 2023 10:11 25m 3s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 10:11 25m 3s
Move obvious type piracy from Hecke to Nemo OscarCI #915: Pull request #1501 synchronize by lgoettgens
June 29, 2023 09:57 13m 56s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 29, 2023 09:57 13m 56s
Replace == nothing by === nothing OscarCI #914: Pull request #1502 opened by lgoettgens
June 29, 2023 08:38 2h 8m 29s lgoettgens:lg/isnothing
lgoettgens:lg/isnothing
June 29, 2023 08:38 2h 8m 29s
Move obvious type piracy from Hecke to Nemo OscarCI #913: Pull request #1501 synchronize by lgoettgens
June 28, 2023 14:07 1h 48m 22s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 28, 2023 14:07 1h 48m 22s
Move obvious type piracy from Hecke to Nemo OscarCI #912: Pull request #1501 synchronize by lgoettgens
June 28, 2023 13:52 15m 31s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 28, 2023 13:52 15m 31s
Move obvious type piracy from Hecke to Nemo OscarCI #911: Pull request #1501 opened by lgoettgens
June 28, 2023 13:46 6m 16s lgoettgens:lg/hecke-piracy
lgoettgens:lg/hecke-piracy
June 28, 2023 13:46 6m 16s