Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Awaiting Review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
05-awaiting-review.yml
33 workflow run results
33 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Module structure on TotallyDefiniteQuaternionAlgebra.AutomorphicForm Awaiting Review #33: Issue comment #171 (comment) created by kbuzzard
October 14, 2024 19:27 3s
October 14, 2024 19:27 3s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #32: Issue comment #161 (comment) created by pitmonticone
October 13, 2024 14:13 2s
October 13, 2024 14:13 2s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #31: Issue comment #161 (comment) created by DjangoPeeters
October 13, 2024 10:00 3s
October 13, 2024 10:00 3s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #30: Issue comment #161 (comment) created by DjangoPeeters
October 11, 2024 20:03 2s
October 11, 2024 20:03 2s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #29: Issue comment #161 (comment) created by DjangoPeeters
October 11, 2024 13:39 2s
October 11, 2024 13:39 2s
Complete Algebra.exists_dvd_nonzero_if_isIntegral Awaiting Review #28: Issue comment #157 (comment) created by kbuzzard
October 11, 2024 13:04 3s
October 11, 2024 13:04 3s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #27: Issue comment #161 (comment) created by DjangoPeeters
October 11, 2024 12:07 3s
October 11, 2024 12:07 3s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #26: Issue comment #161 (comment) created by DjangoPeeters
October 11, 2024 12:04 3s
October 11, 2024 12:04 3s
Complete Algebra.exists_dvd_nonzero_if_isIntegral Awaiting Review #25: Issue comment #157 (comment) created by morrison-daniel
October 10, 2024 23:02 2s
October 10, 2024 23:02 2s
Complete Algebra.exists_dvd_nonzero_if_isIntegral Awaiting Review #24: Issue comment #157 (comment) created by morrison-daniel
October 10, 2024 19:54 2s
October 10, 2024 19:54 2s
Complete Algebra.exists_dvd_nonzero_if_isIntegral Awaiting Review #23: Issue comment #157 (comment) created by pitmonticone
October 10, 2024 14:31 3s
October 10, 2024 14:31 3s
Fix and silence some warnings Awaiting Review #22: Issue comment #164 (comment) created by kbuzzard
October 10, 2024 12:25 3s
October 10, 2024 12:25 3s
Prove reduction_isIntegral Awaiting Review #21: Issue comment #162 (comment) created by kbuzzard
October 10, 2024 12:24 3s
October 10, 2024 12:24 3s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #20: Issue comment #161 (comment) created by kbuzzard
October 10, 2024 12:23 3s
October 10, 2024 12:23 3s
Complete Algebra.exists_dvd_nonzero_if_isIntegral Awaiting Review #19: Issue comment #157 (comment) created by pitmonticone
October 10, 2024 12:20 2s
October 10, 2024 12:20 2s
Improve the blueprint graph a bit Awaiting Review #18: Issue comment #158 (comment) created by kbuzzard
October 10, 2024 12:19 3s
October 10, 2024 12:19 3s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #17: Issue comment #161 (comment) created by DjangoPeeters
October 9, 2024 11:43 3s
October 9, 2024 11:43 3s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #16: Issue comment #161 (comment) created by DjangoPeeters
October 7, 2024 17:09 3s
October 7, 2024 17:09 3s
Proved QHat.rat_meet_zHat and QHat.rat_join_zHat. Awaiting Review #15: Issue comment #161 (comment) created by Ruben-VandeVelde
October 6, 2024 21:12 3s
October 6, 2024 21:12 3s
Proved that L/K is normal Awaiting Review #14: Issue comment #160 (comment) created by 4hma4d
October 6, 2024 13:08 2s
October 6, 2024 13:08 2s
Proved that L/K is normal Awaiting Review #13: Issue comment #160 (comment) created by Ruben-VandeVelde
October 6, 2024 09:00 3s
October 6, 2024 09:00 3s
FROBENIUS: The residue field extension L/K is normal Awaiting Review #12: Issue comment #147 (comment) created by 4hma4d
October 4, 2024 06:49 3s
October 4, 2024 06:49 3s
FROBENIUS: The residue field extension L/K is normal Awaiting Review #11: Issue comment #147 (comment) created by 4hma4d
October 4, 2024 02:56 3s
October 4, 2024 02:56 3s
FROBENIUS: Fields of fractions of integral extensions are algebraic Awaiting Review #10: Issue comment #146 (comment) created by AlexBrodbelt
October 3, 2024 14:18 3s
October 3, 2024 14:18 3s
[TEST] Dashboard-based workflow Awaiting Review #9: Issue comment #155 (comment) created by pitmonticone
October 3, 2024 13:25 1s
October 3, 2024 13:25 1s