Skip to content

Actions: thorimur/std4

Actions

Test Mathlib

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test_mathlib.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Mathlib Test Mathlib #6: completed by thorimur
November 13, 2024 00:33 2s
November 13, 2024 00:33 2s
Test Mathlib Test Mathlib #5: completed by thorimur
November 13, 2024 00:29 2s
November 13, 2024 00:29 2s
Test Mathlib Test Mathlib #4: completed by thorimur
November 13, 2024 00:25 3s
November 13, 2024 00:25 3s
Test Mathlib Test Mathlib #3: completed by thorimur
November 13, 2024 00:22 2s
November 13, 2024 00:22 2s
Test Mathlib Test Mathlib #2: completed by thorimur
November 13, 2024 00:21 1s
November 13, 2024 00:21 1s
Test Mathlib Test Mathlib #1: completed by thorimur
November 12, 2024 23:55 3s
November 12, 2024 23:55 3s