Skip to content

Actions: teorth/equational_theories

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
1,269 workflow runs
1,269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove Theorem 3.11 Compile blueprint #1300: Pull request #442 synchronize by jscanvic
October 10, 2024 22:16 7m 18s jscanvic:theorem3-11
jscanvic:theorem3-11
October 10, 2024 22:16 7m 18s
Transitively reduce implications Compile blueprint #1299: Pull request #500 opened by vlad902
October 10, 2024 21:09 9m 39s vlad902:transitive-reduction
vlad902:transitive-reduction
October 10, 2024 21:09 9m 39s
Prove Theorem 3.11 Compile blueprint #1298: Pull request #442 synchronize by jscanvic
October 10, 2024 20:45 22m 23s jscanvic:theorem3-11
jscanvic:theorem3-11
October 10, 2024 20:45 22m 23s
Prove Theorem 3.11 Compile blueprint #1297: Pull request #442 synchronize by jscanvic
October 10, 2024 19:45 34m 34s jscanvic:theorem3-11
jscanvic:theorem3-11
October 10, 2024 19:45 34m 34s
Add equations 1086, 2497, 2541 to Confluence.lean (#497) Compile blueprint #1296: Commit cc82fc2 pushed by pitmonticone
October 10, 2024 18:48 8m 45s main
main
October 10, 2024 18:48 8m 45s
Add equations 1086, 2497, 2541 to Confluence.lean Compile blueprint #1295: Pull request #497 synchronize by pitmonticone
October 10, 2024 18:07 6m 57s amirlb:add-confluent-facts
amirlb:add-confluent-facts
October 10, 2024 18:07 6m 57s
Add equations 1086, 2497, 2541 to Confluence.lean Compile blueprint #1294: Pull request #497 opened by amirlb
October 10, 2024 17:48 8m 2s amirlb:add-confluent-facts
amirlb:add-confluent-facts
October 10, 2024 17:48 8m 2s
Results on Central Groupoids Compile blueprint #1293: Pull request #492 synchronize by pitmonticone
October 10, 2024 17:30 7m 4s b-mehta:main
b-mehta:main
October 10, 2024 17:30 7m 4s
lean4lean python script Compile blueprint #1292: Pull request #421 synchronize by Shreyas4991
October 10, 2024 16:58 7m 45s lean4lean
lean4lean
October 10, 2024 16:58 7m 45s
lean4lean python script Compile blueprint #1291: Pull request #421 synchronize by Shreyas4991
October 10, 2024 16:12 36m 36s lean4lean
lean4lean
October 10, 2024 16:12 36m 36s
lean4lean python script Compile blueprint #1290: Pull request #421 synchronize by Shreyas4991
October 10, 2024 16:00 12m 27s lean4lean
lean4lean
October 10, 2024 16:00 12m 27s
cleanup Compile blueprint #1289: Commit 6e61250 pushed by pitmonticone
October 10, 2024 15:26 7m 49s main
main
October 10, 2024 15:26 7m 49s
Results on Central Groupoids Compile blueprint #1288: Pull request #492 opened by b-mehta
October 10, 2024 15:24 25m 9s b-mehta:main
b-mehta:main
October 10, 2024 15:24 25m 9s
Raise error on equation number order breaking (#491) Compile blueprint #1287: Commit 768a4e7 pushed by pitmonticone
October 10, 2024 14:46 8m 9s main
main
October 10, 2024 14:46 8m 9s
Raise error on equation number order breaking Compile blueprint #1286: Pull request #491 opened by carlini
October 10, 2024 14:32 6m 59s carlini:err-eq-order
carlini:err-eq-order
October 10, 2024 14:32 6m 59s
split AllEquations into pieces for more parallelism (#472) Compile blueprint #1285: Commit abf2c24 pushed by Shreyas4991
October 10, 2024 13:55 22m 0s main
main
October 10, 2024 13:55 22m 0s
split AllEquations into pieces for more parallelism Compile blueprint #1284: Pull request #472 synchronize by pitmonticone
October 10, 2024 12:31 34m 45s digama0:split_eqns
digama0:split_eqns
October 10, 2024 12:31 34m 45s
Restore equation 953 to AllEquations; make build break if it happens again Compile blueprint #1283: Pull request #481 synchronize by pitmonticone
October 10, 2024 12:30 36m 43s carlini:fix-eq-order
carlini:fix-eq-order
October 10, 2024 12:30 36m 43s
Typo fix in Lemma 1.10. (Pushforward) in intro.tex (#488) Compile blueprint #1282: Commit 512e27d pushed by pitmonticone
October 10, 2024 12:28 37m 33s main
main
October 10, 2024 12:28 37m 33s
Typo fix in Lemma 1.10. (Pushforward) in intro.tex Compile blueprint #1281: Pull request #488 synchronize by pitmonticone
October 10, 2024 12:27 36m 39s ChienYungChi:typo
ChienYungChi:typo
October 10, 2024 12:27 36m 39s
Thousands separators for dashboard tables (#485) Compile blueprint #1280: Commit 3f68142 pushed by pitmonticone
October 10, 2024 12:24 3m 53s main
main
October 10, 2024 12:24 3m 53s
Updates available and ready to merge (#487) Compile blueprint #1279: Commit c815014 pushed by pitmonticone
October 10, 2024 12:15 8m 45s main
main
October 10, 2024 12:15 8m 45s
Typo fix in Lemma 1.10. (Pushforward) in intro.tex Compile blueprint #1278: Pull request #488 opened by ChienYungChi
October 10, 2024 10:50 6m 44s ChienYungChi:typo
ChienYungChi:typo
October 10, 2024 10:50 6m 44s
split AllEquations into pieces for more parallelism Compile blueprint #1277: Pull request #472 synchronize by digama0
October 10, 2024 08:04 22m 27s digama0:split_eqns
digama0:split_eqns
October 10, 2024 08:04 22m 27s
Thousands separators for dashboard tables Compile blueprint #1276: Pull request #485 opened by harahu
October 10, 2024 07:44 7m 0s harahu:chore/dashboard
harahu:chore/dashboard
October 10, 2024 07:44 7m 0s