Skip to content

Actions: SKolodynski/IsarMathLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

moved powz definition outside of group_int0 locale specification Verification #117: Commit 75495f5 pushed by SKolodynski
January 7, 2025 18:16 7m 24s master
master
January 7, 2025 18:16 7m 24s
moved powz definition outside of group_int0 locale specification Style-Check #113: Commit 75495f5 pushed by SKolodynski
January 7, 2025 18:16 49s master
master
January 7, 2025 18:16 49s
pages build and deployment pages-build-deployment #117: by SKolodynski
January 7, 2025 18:16 43s master
master
January 7, 2025 18:16 43s
modified tests to check for internal comma in macro expansion Style-Check #112: Commit 879918e pushed by SKolodynski
January 4, 2025 11:45 40s master
master
January 4, 2025 11:45 40s
modified tests to check for internal comma in macro expansion Verification #116: Commit 879918e pushed by SKolodynski
January 4, 2025 11:45 6m 48s master
master
January 4, 2025 11:45 6m 48s
pages build and deployment pages-build-deployment #116: by SKolodynski
January 4, 2025 11:45 45s master
master
January 4, 2025 11:45 45s
integer power is a map from integers to endomorphisms of an abelian g… Verification #115: Commit 1e3bdc1 pushed by SKolodynski
January 2, 2025 18:59 7m 9s master
master
January 2, 2025 18:59 7m 9s
integer power is a map from integers to endomorphisms of an abelian g… Style-Check #111: Commit 1e3bdc1 pushed by SKolodynski
January 2, 2025 18:59 40s master
master
January 2, 2025 18:59 40s
pages build and deployment pages-build-deployment #115: by SKolodynski
January 2, 2025 18:59 42s master
master
January 2, 2025 18:59 42s
integer power commutes with group operation in abelian groups Style-Check #110: Commit fc46aa4 pushed by SKolodynski
January 2, 2025 16:27 39s master
master
January 2, 2025 16:27 39s
integer power commutes with group operation in abelian groups Verification #114: Commit fc46aa4 pushed by SKolodynski
January 2, 2025 16:27 7m 25s master
master
January 2, 2025 16:27 7m 25s
pages build and deployment pages-build-deployment #114: by SKolodynski
January 2, 2025 16:27 41s master
master
January 2, 2025 16:27 41s
moved group homomorphism and End definitions to Group_ZF_2 Style-Check #109: Commit 6984e0d pushed by SKolodynski
December 31, 2024 17:17 38s master
master
December 31, 2024 17:17 38s
moved group homomorphism and End definitions to Group_ZF_2 Verification #113: Commit 6984e0d pushed by SKolodynski
December 31, 2024 17:17 7m 2s master
master
December 31, 2024 17:17 7m 2s
pages build and deployment pages-build-deployment #113: by SKolodynski
December 31, 2024 17:17 44s master
master
December 31, 2024 17:17 44s
more properties of integer powers of group elements Style-Check #108: Commit ee27559 pushed by SKolodynski
December 28, 2024 10:08 39s master
master
December 28, 2024 10:08 39s
more properties of integer powers of group elements Verification #112: Commit ee27559 pushed by SKolodynski
December 28, 2024 10:08 7m 11s master
master
December 28, 2024 10:08 7m 11s
pages build and deployment pages-build-deployment #112: by SKolodynski
December 28, 2024 10:08 45s master
master
December 28, 2024 10:08 45s
added rendering of zmagnitude and integer power Verification #111: Commit 9b68790 pushed by SKolodynski
December 26, 2024 10:50 6m 55s master
master
December 26, 2024 10:50 6m 55s
added rendering of zmagnitude and integer power Style-Check #107: Commit 9b68790 pushed by SKolodynski
December 26, 2024 10:50 39s master
master
December 26, 2024 10:50 39s
pages build and deployment pages-build-deployment #111: by SKolodynski
December 26, 2024 10:50 47s master
master
December 26, 2024 10:50 47s
added IntGroup_ZF to theories parsed for isarmathlib.org Verification #110: Commit c6cdaa4 pushed by SKolodynski
December 25, 2024 19:10 6m 59s master
master
December 25, 2024 19:10 6m 59s
added IntGroup_ZF to theories parsed for isarmathlib.org Style-Check #106: Commit c6cdaa4 pushed by SKolodynski
December 25, 2024 19:10 41s master
master
December 25, 2024 19:10 41s
pages build and deployment pages-build-deployment #110: by SKolodynski
December 25, 2024 19:10 45s master
master
December 25, 2024 19:10 45s
added integer powers of group elements Verification #109: Commit bd94751 pushed by SKolodynski
December 25, 2024 15:50 6m 54s master
master
December 25, 2024 15:50 6m 54s