Skip to content

Actions: kim-em/mathematics_in_lean_source

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump to v4.10.0-rc2 ci #6: Commit 8f2dee5 pushed by kim-em
July 16, 2024 20:06 1m 44s bump_to_v4.10.0-rc2
bump_to_v4.10.0-rc2
July 16, 2024 20:06 1m 44s
chore: add extensions.json to prevent pop-up about unnecessary extension ci #5: Commit 1881030 pushed by kim-em
May 27, 2024 09:46 1m 41s extensions
extensions
May 27, 2024 09:46 1m 41s
chore: bump Mathlib ci #4: Commit ad0fdac pushed by kim-em
May 24, 2024 14:03 1m 43s bump_mathlib_2024-05-25
bump_mathlib_2024-05-25
May 24, 2024 14:03 1m 43s
merge master ci #3: Commit c469182 pushed by kim-em
May 22, 2024 22:23 1m 39s bump_v4.8.0-rc2
bump_v4.8.0-rc2
May 22, 2024 22:23 1m 39s
fix imports ci #2: Commit e3386db pushed by kim-em
May 22, 2024 22:19 1m 46s bump_v4.8.0-rc2
bump_v4.8.0-rc2
May 22, 2024 22:19 1m 46s
update Mathlib and Lean; broken ci #1: Commit 07bc639 pushed by kim-em
May 22, 2024 22:15 1m 47s bump_v4.8.0-rc2
bump_v4.8.0-rc2
May 22, 2024 22:15 1m 47s