Skip to content

Actions: teorth/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,562 workflow runs
1,562 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #474 from kvanvels/KEV_testing2 Build book #1070: Commit bd59987 pushed by teorth
2m 44s main
main
2m 44s
Merge pull request #475 from david-christiansen/readme-links Build book #1069: Commit e49d1fe pushed by teorth
50s main
main
50s
cleaned up exists_gt_of_lt_csSup and exists_le_of_lt_csInf Build book #1068: Pull request #474 synchronize by kvanvels
3m 6s kvanvels:KEV_testing2
kvanvels:KEV_testing2
3m 6s
fix: update links in README.md Build book #1067: Pull request #475 opened by david-christiansen
4m 42s david-christiansen:readme-links
david-christiansen:readme-links
4m 42s
Merge pull request #473 from david-christiansen/easy-literate Build book #1066: Commit 4bb4712 pushed by teorth
2h 3m 34s main
main
2h 3m 34s
cleaned up exists_gt_of_lt_csSup and exists_le_of_lt_csInf Validate Subverso Package Hashes #471: Pull request #474 synchronize by kvanvels
8s kvanvels:KEV_testing2
kvanvels:KEV_testing2
8s
cleaned up exists_gt_of_lt_csSup and exists_le_of_lt_csInf Build book #1065: Pull request #474 synchronize by kvanvels
2h 28m 4s kvanvels:KEV_testing2
kvanvels:KEV_testing2
2h 28m 4s
chore: use Verso's new lightweight literate programming support Build book #1063: Pull request #473 synchronize by david-christiansen
2h 3m 25s david-christiansen:easy-literate
david-christiansen:easy-literate
2h 3m 25s
chore: use Verso's new lightweight literate programming support Build book #1062: Pull request #473 synchronize by david-christiansen
21m 17s david-christiansen:easy-literate
david-christiansen:easy-literate
21m 17s
Fix upperseq definition in Example_6_4_9 Validate Subverso Package Hashes #469: Pull request #472 synchronize by Shaunticlair
7s Shaunticlair:patch-1
Shaunticlair:patch-1
7s
Fix upperseq definition in Example_6_4_9 Build book #1061: Pull request #472 synchronize by Shaunticlair
4m 28s Shaunticlair:patch-1
Shaunticlair:patch-1
4m 28s
Fix upperseq definition in Example_6_4_9 Validate Subverso Package Hashes #468: Pull request #472 synchronize by Shaunticlair
9s Shaunticlair:patch-1
Shaunticlair:patch-1
9s
Fix upperseq definition in Example_6_4_9 Build book #1060: Pull request #472 synchronize by Shaunticlair
4m 11s Shaunticlair:patch-1
Shaunticlair:patch-1
4m 11s
chore: use Verso's new lightweight literate programming support Build book #1059: Pull request #473 synchronize by david-christiansen
21m 44s david-christiansen:easy-literate
david-christiansen:easy-literate
21m 44s
chore: use Verso's new lightweight literate programming support Build book #1058: Pull request #473 opened by david-christiansen
21m 50s david-christiansen:easy-literate
david-christiansen:easy-literate
21m 50s
Fix upperseq definition in Example_6_4_9 Build book #1057: Pull request #472 opened by Shaunticlair
12m 59s Shaunticlair:patch-1
Shaunticlair:patch-1
12m 59s
Fix upperseq definition in Example_6_4_9 Validate Subverso Package Hashes #467: Pull request #472 opened by Shaunticlair
9s Shaunticlair:patch-1
Shaunticlair:patch-1
9s
Merge pull request #471 from david-christiansen/bump-mathlib Build book #1056: Commit d7a7572 pushed by teorth
2h 33m 27s main
main
2h 33m 27s
Merge pull request #471 from david-christiansen/bump-mathlib Validate Subverso Package Hashes #466: Commit d7a7572 pushed by teorth
8s main
main
8s
chore: bump Mathlib dependency to v4.29.0-rc6 and Verso to latest Validate Subverso Package Hashes #465: Pull request #471 synchronize by teorth
11s david-christiansen:bump-mathlib
david-christiansen:bump-mathlib
11s
chore: bump Mathlib dependency to v4.29.0-rc6 and Verso to latest Build book #1055: Pull request #471 synchronize by teorth
9m 1s david-christiansen:bump-mathlib
david-christiansen:bump-mathlib
9m 1s
Merge pull request #470 from rkirov/fix/unused-vars-section-8-4 Build book #1054: Commit 01a439a pushed by teorth
4m 53s main
main
4m 53s
Merge pull request #470 from rkirov/fix/unused-vars-section-8-4 Validate Subverso Package Hashes #464: Commit 01a439a pushed by teorth
7s main
main
7s
chore: bump Mathlib dependency to v4.29.0-rc6 and Verso to latest Validate Subverso Package Hashes #463: Pull request #471 opened by david-christiansen
7s david-christiansen:bump-mathlib
david-christiansen:bump-mathlib
7s
chore: bump Mathlib dependency to v4.29.0-rc6 and Verso to latest Build book #1053: Pull request #471 opened by david-christiansen
3h 1m 46s david-christiansen:bump-mathlib
david-christiansen:bump-mathlib
3h 1m 46s