Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
287 workflow runs
287 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Some adelic background for quaternion algebras .github/workflows/push_pr.yml #332: Pull request #176 synchronize by kbuzzard
October 21, 2024 08:59 3m 35s quatalgproject2
quatalgproject2
October 21, 2024 08:59 3m 35s
Some adelic background for quaternion algebras .github/workflows/push_pr.yml #331: Pull request #176 synchronize by kbuzzard
October 21, 2024 08:51 3m 53s quatalgproject2
quatalgproject2
October 21, 2024 08:51 3m 53s
Some adelic background for quaternion algebras .github/workflows/push_pr.yml #330: Pull request #176 opened by kbuzzard
October 21, 2024 01:16 3m 48s quatalgproject2
quatalgproject2
October 21, 2024 01:16 3m 48s
LaTeX: Statement of finite-dimensionality of quaternionic forms .github/workflows/push_pr.yml #329: Pull request #174 opened by kbuzzard
October 18, 2024 17:14 4m 4s divisionalgebra
divisionalgebra
October 18, 2024 17:14 4m 4s
Fix typo in blueprint .github/workflows/push_pr.yml #328: Pull request #173 opened by pitmonticone
October 17, 2024 12:13 4m 21s pitmonticone/fix-typo-blueprint
pitmonticone/fix-typo-blueprint
October 17, 2024 12:13 4m 21s
Module structure on TotallyDefiniteQuaternionAlgebra.AutomorphicForm .github/workflows/push_pr.yml #327: Pull request #171 opened by Ruben-VandeVelde
October 14, 2024 18:36 4m 19s Ruben-VandeVelde:TotallyDefiniteQuaternionAlgebra.AutomorphicForm.module
Ruben-VandeVelde:TotallyDefiniteQuaternionAlgebra.AutomorphicForm.module
October 14, 2024 18:36 4m 19s
Quaternion algebras project .github/workflows/push_pr.yml #326: Pull request #170 synchronize by kbuzzard
October 14, 2024 10:56 3m 53s quatalgproject
quatalgproject
October 14, 2024 10:56 3m 53s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. .github/workflows/push_pr.yml #325: Pull request #161 synchronize by pitmonticone
October 13, 2024 14:13 3m 50s DjangoPeeters:main
DjangoPeeters:main
October 13, 2024 14:13 3m 50s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. .github/workflows/push_pr.yml #324: Pull request #161 synchronize by DjangoPeeters
October 13, 2024 10:04 3m 52s DjangoPeeters:main
DjangoPeeters:main
October 13, 2024 10:04 3m 52s
fill in two sorries .github/workflows/push_pr.yml #323: Pull request #168 opened by b-mehta
October 11, 2024 19:57 4m 6s b-mehta:main
b-mehta:main
October 11, 2024 19:57 4m 6s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. .github/workflows/push_pr.yml #322: Pull request #161 synchronize by DjangoPeeters
October 11, 2024 12:11 Action required DjangoPeeters:main
DjangoPeeters:main
October 11, 2024 12:11 Action required
Complete Algebra.exists_dvd_nonzero_if_isIntegral .github/workflows/push_pr.yml #321: Pull request #157 synchronize by morrison-daniel
October 10, 2024 22:57 3m 59s morrison-daniel:main
morrison-daniel:main
October 10, 2024 22:57 3m 59s
Complete Algebra.exists_dvd_nonzero_if_isIntegral .github/workflows/push_pr.yml #320: Pull request #157 synchronize by morrison-daniel
October 10, 2024 22:55 3m 49s morrison-daniel:main
morrison-daniel:main
October 10, 2024 22:55 3m 49s
Complete Algebra.exists_dvd_nonzero_if_isIntegral .github/workflows/push_pr.yml #319: Pull request #157 synchronize by morrison-daniel
October 10, 2024 22:53 3m 41s morrison-daniel:main
morrison-daniel:main
October 10, 2024 22:53 3m 41s
Complete Algebra.exists_dvd_nonzero_if_isIntegral .github/workflows/push_pr.yml #318: Pull request #157 synchronize by morrison-daniel
October 10, 2024 20:02 3m 54s morrison-daniel:main
morrison-daniel:main
October 10, 2024 20:02 3m 54s
Complete Algebra.exists_dvd_nonzero_if_isIntegral .github/workflows/push_pr.yml #317: Pull request #157 synchronize by morrison-daniel
October 10, 2024 19:51 3m 44s morrison-daniel:main
morrison-daniel:main
October 10, 2024 19:51 3m 44s
Complete Algebra.exists_dvd_nonzero_if_isIntegral .github/workflows/push_pr.yml #316: Pull request #157 synchronize by morrison-daniel
October 10, 2024 19:51 3m 42s morrison-daniel:main
morrison-daniel:main
October 10, 2024 19:51 3m 42s
Complete Algebra.exists_dvd_nonzero_if_isIntegral .github/workflows/push_pr.yml #315: Pull request #157 synchronize by pitmonticone
October 10, 2024 14:31 3m 43s morrison-daniel:main
morrison-daniel:main
October 10, 2024 14:31 3m 43s
Fix and silence some warnings .github/workflows/push_pr.yml #314: Pull request #164 synchronize by pitmonticone
October 9, 2024 09:07 4m 1s Ruben-VandeVelde:reduce-warnings
Ruben-VandeVelde:reduce-warnings
October 9, 2024 09:07 4m 1s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. .github/workflows/push_pr.yml #313: Pull request #161 synchronize by DjangoPeeters
October 7, 2024 17:08 4m 14s DjangoPeeters:main
DjangoPeeters:main
October 7, 2024 17:08 4m 14s
Fix and silence some warnings .github/workflows/push_pr.yml #312: Pull request #164 opened by Ruben-VandeVelde
October 6, 2024 18:26 3m 56s Ruben-VandeVelde:reduce-warnings
Ruben-VandeVelde:reduce-warnings
October 6, 2024 18:26 3m 56s
Proved that L/K is normal .github/workflows/push_pr.yml #311: Pull request #160 synchronize by 4hma4d
October 6, 2024 14:09 3m 46s 4hma4d:main
4hma4d:main
October 6, 2024 14:09 3m 46s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. .github/workflows/push_pr.yml #309: Pull request #161 synchronize by DjangoPeeters
October 6, 2024 11:40 Action required DjangoPeeters:main
DjangoPeeters:main
October 6, 2024 11:40 Action required
Prove reduction_isIntegral .github/workflows/push_pr.yml #308: Pull request #162 opened by Ruben-VandeVelde
October 6, 2024 08:58 3m 46s Ruben-VandeVelde:reduction_isIntegral
Ruben-VandeVelde:reduction_isIntegral
October 6, 2024 08:58 3m 46s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. .github/workflows/push_pr.yml #307: Pull request #161 synchronize by DjangoPeeters
October 5, 2024 15:46 3m 42s DjangoPeeters:main
DjangoPeeters:main
October 5, 2024 15:46 3m 42s