Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

correct small typo ci #121: Pull request #191 opened by StevenClontz
April 22, 2024 19:18 2m 2s StevenClontz:patch-2
StevenClontz:patch-2
April 22, 2024 19:18 2m 2s
Fix minor inconsistency in S01_Calculating.lean ci #120: Commit cad8f9f pushed by PatrickMassot
April 22, 2024 02:47 1m 53s master
master
April 22, 2024 02:47 1m 53s
Less equal on partially ordered set is reflexive ci #117: Commit e310745 pushed by PatrickMassot
February 19, 2024 16:00 1m 52s master
master
February 19, 2024 16:00 1m 52s
Add another change. ci #116: Commit 325fb7f pushed by PatrickMassot
February 18, 2024 19:38 1m 59s master
master
February 18, 2024 19:38 1m 59s
Update S02_Metric_Spaces.lean and S03_Topological_Spaces.lean ci #115: Pull request #182 opened by newell
February 15, 2024 15:06 1m 59s newell:update-topology
newell:update-topology
February 15, 2024 15:06 1m 59s
Update S01_Filters.lean ci #114: Commit 889e9ba pushed by PatrickMassot
February 15, 2024 01:50 1m 49s master
master
February 15, 2024 01:50 1m 49s
Less equal on partially ordered set is reflexive ci #112: Pull request #180 synchronize by Yuhta
February 12, 2024 03:30 1m 50s Yuhta:fix
Yuhta:fix
February 12, 2024 03:30 1m 50s
Less equal on partially ordered set is reflexive ci #111: Pull request #180 opened by Yuhta
February 10, 2024 21:44 1m 50s Yuhta:fix
Yuhta:fix
February 10, 2024 21:44 1m 50s
Bump Lean version ci #110: Commit f50ff44 pushed by PatrickMassot
February 5, 2024 17:18 1m 54s master
master
February 5, 2024 17:18 1m 54s
Fix wrong keyword ci #109: Commit b45969a pushed by PatrickMassot
February 5, 2024 16:55 1m 46s master
master
February 5, 2024 16:55 1m 46s
Update S01_Calculating.lean ci #108: Commit 144e0b8 pushed by PatrickMassot
February 5, 2024 16:44 1m 49s master
master
February 5, 2024 16:44 1m 49s
add acknowledgements ci #105: Commit 3862e04 pushed by avigad
January 19, 2024 18:02 1m 51s master
master
January 19, 2024 18:02 1m 51s
Spelling + *Infoview* ci #104: Commit 7546d61 pushed by PatrickMassot
January 10, 2024 03:05 2m 2s master
master
January 10, 2024 03:05 2m 2s
Bump Lean+Mathlib ci #102: Commit 4add11d pushed by PatrickMassot
December 22, 2023 15:52 2m 13s master
master
December 22, 2023 15:52 2m 13s
tweak how to stop codespace ci #101: Commit a4f111c pushed by PatrickMassot
December 22, 2023 15:32 1m 59s master
master
December 22, 2023 15:32 1m 59s
fix: missing word overlaps our -> overlaps with our ci #100: Commit ddbc586 pushed by PatrickMassot
December 22, 2023 15:30 1m 51s master
master
December 22, 2023 15:30 1m 51s
Fix typo to define Group₁ by extending Inv₁ ci #99: Commit bedf492 pushed by PatrickMassot
December 22, 2023 15:29 2m 0s master
master
December 22, 2023 15:29 2m 0s
Fix a fix ci #98: Commit bc3647f pushed by PatrickMassot
December 22, 2023 14:39 1m 52s master
master
December 22, 2023 14:39 1m 52s
Fix Lean 3 names in comments. ci #97: Commit a400dc3 pushed by PatrickMassot
December 22, 2023 14:38 1m 52s master
master
December 22, 2023 14:38 1m 52s
no tricks when proving associativity of min ci #96: Pull request #168 opened by alexandru-duca
December 21, 2023 18:01 2m 2s patch-1
patch-1
December 21, 2023 18:01 2m 2s
friendlier wording ci #91: Commit d2c2d89 pushed by avigad
December 18, 2023 22:37 1m 46s master
master
December 18, 2023 22:37 1m 46s
Add a pull request template for the user repo. ci #90: Commit fa025d6 pushed by PatrickMassot
December 18, 2023 22:24 1m 46s master
master
December 18, 2023 22:24 1m 46s
fix typo: recognized -> recognize ci #89: Commit 2298888 pushed by PatrickMassot
December 18, 2023 21:44 1m 47s master
master
December 18, 2023 21:44 1m 47s