Skip to content

Actions: JohnAAbbott/Oscar.jl

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
153 workflow runs
153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some more optimizations. (#2497) Run tests #21: Commit 7b3acca pushed by JohnAAbbott
June 29, 2023 12:12 1h 44m 25s master
master
June 29, 2023 12:12 1h 44m 25s
Merge pull request #2492 from oscar-system/lk/vector_tropical_number Run tests #20: Commit 8d75bb2 pushed by JohnAAbbott
June 26, 2023 13:43 1h 56m 29s master
master
June 26, 2023 13:43 1h 56m 29s
Merge pull request #2492 from oscar-system/lk/vector_tropical_number Run tests #19: Commit 8d75bb2 pushed by JohnAAbbott
June 26, 2023 13:43 2h 6m 44s master
master
June 26, 2023 13:43 2h 6m 44s