Skip to content

Actions: JonRademacher/standing-algebra

Actions

Coq CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
1,782 workflow runs
1,782 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
Update StructuralInterfaces.lean Coq CI #1852: Commit df1fb08 pushed by JonRademacher
1m 55s main
main
1m 55s
Create AutonomyValuationContract.lean Coq CI #1851: Commit 69beb1e pushed by JonRademacher
1m 47s main
main
1m 47s
Create AutonomyValuationScope.lean Coq CI #1850: Commit cb55c08 pushed by JonRademacher
1m 48s main
main
1m 48s
Create AutonomyProgressBoundaryDoesNotImplySelection.lean Coq CI #1849: Commit f54a237 pushed by JonRademacher
1m 50s main
main
1m 50s
Create AutonomyDoesNotImplyMorality.lean Coq CI #1848: Commit 65cdb24 pushed by JonRademacher
1m 40s main
main
1m 40s
Create AutonomyDoesNotImplyIntervention.lean Coq CI #1847: Commit ba1e512 pushed by JonRademacher
1m 52s main
main
1m 52s
Create AutonomyDoesNotImplyAuthority.lean Coq CI #1846: Commit cc0d6f4 pushed by JonRademacher
1m 50s main
main
1m 50s
Create AutonomyDoesNotImplyLegitimacy.lean Coq CI #1845: Commit 3c8462b pushed by JonRademacher
2m 0s main
main
2m 0s
Rename AtuonomyComparableUnderAgreement.lean to AutonomyComparableUnd… Coq CI #1844: Commit 3439931 pushed by JonRademacher
1m 49s main
main
1m 49s
Create AutonomyDoesNotImplyConsent.lean Coq CI #1843: Commit 2d1b682 pushed by JonRademacher
1m 57s main
main
1m 57s
Create AutonomyRespectsIndependence.lean Coq CI #1842: Commit 7f7660b pushed by JonRademacher
1m 57s main
main
1m 57s
Create AutonomyRespectsMonotonicity.lean Coq CI #1841: Commit 0fb9387 pushed by JonRademacher
1m 50s main
main
1m 50s
Create AutonomyValuationAdmissible.lean Coq CI #1840: Commit 342fe42 pushed by JonRademacher
1m 54s main
main
1m 54s
Create AutonomyOmissionMaintainsConstraint.lean Coq CI #1839: Commit 8c4c6e1 pushed by JonRademacher
1m 55s main
main
1m 55s
Create AutonomyNonProgressOutOfScopeWhenProgressAvailable.lean Coq CI #1838: Commit 2d717ac pushed by JonRademacher
1m 50s main
main
1m 50s
Create AutonomyProgressRequiredForNonDomination.lean Coq CI #1837: Commit ccc26bd pushed by JonRademacher
1m 54s main
main
1m 54s
Create AutonomyProgressEndorsable.lean Coq CI #1836: Commit 9b399aa pushed by JonRademacher
1m 51s main
main
1m 51s
Create AutonomyProgressWithinScope.lean Coq CI #1835: Commit f438a5c pushed by JonRademacher
1m 56s main
main
1m 56s
Create AutonomyProgressAvailable.lean Coq CI #1834: Commit 7fbdd3c pushed by JonRademacher
1m 58s main
main
1m 58s
Create AutonomyProgressOptionSet.lean Coq CI #1833: Commit 4328e04 pushed by JonRademacher
1m 55s main
main
1m 55s
Create AutonomyProgressOption.lean Coq CI #1832: Commit 9c88ee9 pushed by JonRademacher
1m 55s main
main
1m 55s
Create ResponseAffectsAutonomyValuation.lean Coq CI #1831: Commit 59a303f pushed by JonRademacher
1m 51s main
main
1m 51s
Create ResponseAffectsAutonomyAgreement.lean Coq CI #1830: Commit fd0caa0 pushed by JonRademacher
1m 51s main
main
1m 51s
Create AtuonomyComparableUnderAgreement.lean Coq CI #1829: Commit 84eb956 pushed by JonRademacher
1m 48s main
main
1m 48s
Create AutonomyDampening.lean Coq CI #1828: Commit e55c45d pushed by JonRademacher
1m 43s main
main
1m 43s