Skip to content

Actions: stepchowfun/proofs

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
374 workflow runs
374 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add an example of univalence being useful Continuous integration #5036: Pull request #796 opened by stepchowfun
6m 15s univalence-is-useful
univalence-is-useful
6m 15s
Merge pull request #795 from stepchowfun/hott-refactor Continuous integration #5035: Commit f028b21 pushed by stepchowfun
6m 23s main
main
6m 23s
Refactor the HoTT development Continuous integration #5034: Pull request #795 synchronize by stepchowfun
6m 24s hott-refactor
hott-refactor
6m 24s
Refactor the HoTT development Continuous integration #5033: Pull request #795 opened by stepchowfun
6m 16s hott-refactor
hott-refactor
6m 16s
Merge pull request #794 from stepchowfun/transport-theorem Continuous integration #5032: Commit 4535c76 pushed by stepchowfun
6m 27s main
main
6m 27s
Transport a theorem using homotopy type theory Continuous integration #5031: Pull request #794 synchronize by stepchowfun
6m 20s transport-theorem
transport-theorem
6m 20s
Transport a theorem using homotopy type theory Continuous integration #5030: Pull request #794 opened by stepchowfun
6m 3s transport-theorem
transport-theorem
6m 3s
Merge pull request #793 from stepchowfun/function-path Continuous integration #5029: Commit 4a333d3 pushed by stepchowfun
6m 19s main
main
6m 19s
Show how to transport a function in the HoTT development Continuous integration #5028: Pull request #793 synchronize by stepchowfun
6m 11s function-path
function-path
6m 11s
Show how to transport a function in the HoTT development Continuous integration #5027: Pull request #793 opened by stepchowfun
1m 20s function-path
function-path
1m 20s
Merge pull request #792 from stepchowfun/pair-function Continuous integration #5026: Commit 429aaee pushed by stepchowfun
6m 27s main
main
6m 27s
Characterize the path spaces of pair types and function types Continuous integration #5025: Pull request #792 synchronize by stepchowfun
6m 7s pair-function
pair-function
6m 7s
Characterize the path spaces of pair types and function types Continuous integration #5024: Pull request #792 synchronize by stepchowfun
6m 36s pair-function
pair-function
6m 36s
Characterize the path spaces of pair types and function types Continuous integration #5023: Pull request #792 synchronize by stepchowfun
6m 27s pair-function
pair-function
6m 27s
Characterize the path spaces of pair types and function types Continuous integration #5022: Pull request #792 opened by stepchowfun
6m 15s pair-function
pair-function
6m 15s
Merge pull request #791 from stepchowfun/reorder Continuous integration #5021: Commit dc3e013 pushed by stepchowfun
6m 40s main
main
6m 40s
Reorder some definitions Continuous integration #5020: Pull request #791 synchronize by stepchowfun
6m 13s reorder
reorder
6m 13s
Reorder some definitions Continuous integration #5019: Pull request #791 opened by stepchowfun
6m 24s reorder
reorder
6m 24s
Merge pull request #790 from stepchowfun/sigma-groupoid Continuous integration #5018: Commit af3fd25 pushed by stepchowfun
6m 18s main
main
6m 18s
Characterize the groupoid operations on paths in sigma types Continuous integration #5017: Pull request #790 synchronize by stepchowfun
6m 22s sigma-groupoid
sigma-groupoid
6m 22s
Characterize the groupoid operations on paths in sigma types Continuous integration #5016: Pull request #790 synchronize by stepchowfun
6m 15s sigma-groupoid
sigma-groupoid
6m 15s
Characterize the groupoid operations on paths in sigma types Continuous integration #5015: Pull request #790 opened by stepchowfun
6m 39s sigma-groupoid
sigma-groupoid
6m 39s
Merge pull request #789 from stepchowfun/simplify-groupoid-operations… Continuous integration #5014: Commit 41eb0a2 pushed by stepchowfun
6m 22s main
main
6m 22s
Simplify the formulation of the groupoid operations on paths in the universe Continuous integration #5013: Pull request #789 synchronize by stepchowfun
6m 11s simplify-groupoid-operations-in-the-universe
simplify-groupoid-operations-in-the-universe
6m 11s
Simplify the formulation of the groupoid operations on paths in the universe Continuous integration #5012: Pull request #789 opened by stepchowfun
6m 18s simplify-groupoid-operations-in-the-universe
simplify-groupoid-operations-in-the-universe
6m 18s
ProTip! You can narrow down the results and go further in time using created:<2025-12-14 or the other filters available.