Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup for section on Groups ci #47: Commit 60dca33 pushed by avigad
October 21, 2023 19:29 3m 9s algebra
algebra
October 21, 2023 19:29 3m 9s
Finish Chinese remainder exercise ci #46: Commit c98fae1 pushed by PatrickMassot
October 20, 2023 23:14 2m 43s algebra
algebra
October 20, 2023 23:14 2m 43s
More ring exercises ci #45: Commit 6070f86 pushed by PatrickMassot
October 20, 2023 22:13 2m 50s algebra
algebra
October 20, 2023 22:13 2m 50s
Bump Mathlib and Lean ci #43: Commit 010746f pushed by PatrickMassot
October 16, 2023 12:25 2m 42s algebra
algebra
October 16, 2023 12:25 2m 42s
Start ring exercises ci #42: Commit 0dfa81c pushed by PatrickMassot
October 11, 2023 23:15 2m 51s algebra
algebra
October 11, 2023 23:15 2m 51s
Bump Mathlib to get ZMod remainders ci #41: Commit 23a2d65 pushed by PatrickMassot
October 11, 2023 02:58 3m 37s algebra
algebra
October 11, 2023 02:58 3m 37s
Some typos ci #40: Commit dd269f5 pushed by PatrickMassot
October 10, 2023 22:27 2m 58s algebra
algebra
October 10, 2023 22:27 2m 58s
More rings. Add group exercises ci #39: Commit 941a6bb pushed by PatrickMassot
October 10, 2023 22:23 2m 53s algebra
algebra
October 10, 2023 22:23 2m 53s
More rings ci #38: Commit d9248b9 pushed by PatrickMassot
October 9, 2023 22:57 2m 42s algebra
algebra
October 9, 2023 22:57 2m 42s
Slow progress on rings ci #37: Commit 224bf8e pushed by PatrickMassot
October 9, 2023 03:00 2m 49s algebra
algebra
October 9, 2023 03:00 2m 49s
More about polynomials ci #36: Commit 9f3b524 pushed by PatrickMassot
October 6, 2023 23:13 3m 16s algebra
algebra
October 6, 2023 23:13 3m 16s
More about polynomials ci #35: Commit 93ab9f7 pushed by PatrickMassot
October 6, 2023 23:10 2m 36s algebra
algebra
October 6, 2023 23:10 2m 36s
Start section on rings ci #34: Commit 1100d61 pushed by PatrickMassot
October 6, 2023 02:06 3m 21s algebra
algebra
October 6, 2023 02:06 3m 21s
Bump mathlib ci #33: Commit 44f556f pushed by PatrickMassot
October 4, 2023 22:54 3m 14s algebra
algebra
October 4, 2023 22:54 3m 14s
Polish groups ci #32: Commit 2a92153 pushed by PatrickMassot
October 4, 2023 22:31 2m 39s algebra
algebra
October 4, 2023 22:31 2m 39s
Finish first version of groups ci #31: Commit e6e0bdb pushed by PatrickMassot
October 3, 2023 21:56 3m 24s algebra
algebra
October 3, 2023 21:56 3m 24s
Finish first version of groups ci #30: Commit 3e6d06f pushed by PatrickMassot
October 3, 2023 21:56 3m 13s algebra
algebra
October 3, 2023 21:56 3m 13s
Forgotten toolchain update ci #29: Commit deb72e6 pushed by PatrickMassot
October 3, 2023 15:52 2h 15m 44s algebra
algebra
October 3, 2023 15:52 2h 15m 44s
fixing some typos (#134) ci #28: Commit 51ee495 pushed by PatrickMassot
October 3, 2023 15:45 2m 36s master
master
October 3, 2023 15:45 2m 36s
Start algebra ci #26: Commit e4a956a pushed by PatrickMassot
October 2, 2023 22:43 19m 38s algebra
algebra
October 2, 2023 22:43 19m 38s
typo ci #25: Commit cd30b4d pushed by avigad
October 2, 2023 20:14 3m 0s master
master
October 2, 2023 20:14 3m 0s
Fix errors in topology exercises. ci #23: Commit 2bba559 pushed by PatrickMassot
September 19, 2023 13:20 2m 40s master
master
September 19, 2023 13:20 2m 40s
Add type annotation ci #22: Pull request #130 opened by tonyxty
September 19, 2023 11:41 2m 40s tonyxty:master
tonyxty:master
September 19, 2023 11:41 2m 40s
Fix typo (#128) ci #21: Commit 376631a pushed by PatrickMassot
September 19, 2023 01:49 3m 20s master
master
September 19, 2023 01:49 3m 20s
Update C04_Sets_and_Functions.rst (#129) ci #20: Commit de1a4cc pushed by PatrickMassot
September 19, 2023 01:48 3m 9s master
master
September 19, 2023 01:48 3m 9s