Skip to content

Actions: savask/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Log changes related to RR's mathbox. verifiers #11: Commit 9edb2f3 pushed by savask
January 6, 2024 16:12 2m 23s develop
develop
January 6, 2024 16:12 2m 23s
Merge remote-tracking branch 'upstream/develop' into develop verifiers #10: Commit aac87e1 pushed by savask
January 6, 2024 14:41 3m 39s develop
develop
January 6, 2024 14:41 3m 39s
Tweak labels and comments. verifiers #9: Commit 2fd7359 pushed by savask
January 4, 2024 15:14 2m 50s develop
develop
January 4, 2024 15:14 2m 50s
Remove rr- prefix from the theorems in main. verifiers #8: Commit 6b640c8 pushed by savask
January 4, 2024 06:41 2m 23s develop
develop
January 4, 2024 06:41 2m 23s
Move some theorems from Thierry's mathbox. verifiers #7: Commit 35d1424 pushed by savask
January 3, 2024 17:57 1h 50m 23s develop
develop
January 3, 2024 17:57 1h 50m 23s
Move Rohan Ridenour's section on simple groups to main. verifiers #6: Commit b8bb37d pushed by savask
January 3, 2024 17:49 2m 47s develop
develop
January 3, 2024 17:49 2m 47s
Add a theorem to mathbox. verifiers #5: Commit 5cbd5ad pushed by savask
January 3, 2024 15:02 2m 20s develop
develop
January 3, 2024 15:02 2m 20s
Reorganize Mathbox Algebra (#3739) verifiers #4: Commit 1ead265 pushed by savask
January 3, 2024 14:25 2m 57s develop
develop
January 3, 2024 14:25 2m 57s
Merge pull request #2243 from wlammen/develop verifiers #3: Commit f6dc365 pushed by savask
January 3, 2024 14:24 1m 25s master
master
January 3, 2024 14:24 1m 25s