Skip to content

Actions: antonio-rojas/Sources

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
runtests.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pp_Mult_qq: run _p_Mult_q_Normal_ZeroDiv on the copy of q Run tests #3: Commit f88ab1e pushed by antonio-rojas
August 2, 2024 14:08 10m 48s pp_Mult_qq
pp_Mult_qq
August 2, 2024 14:08 10m 48s
Fix build with flint 3.1 Run tests #2: Commit 61db076 pushed by antonio-rojas
February 26, 2024 22:37 25m 19s flint-3.1
flint-3.1
February 26, 2024 22:37 25m 19s
fix example puiseuxExpansion Run tests #1: Commit 82fc009 pushed by antonio-rojas
February 26, 2024 22:35 15m 52s spielwiese
spielwiese
February 26, 2024 22:35 15m 52s