Skip to content

Actions: JonRademacher/standing-algebra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 Standing Algebra Z3 Verification #1851: Commit df1fb08 pushed by JonRademacher
32s main
main
32s
Update StructuralInterfaces.lean Coq CI #1852: Commit df1fb08 pushed by JonRademacher
1m 55s main
main
1m 55s
Update StructuralInterfaces.lean Lean CI #1872: Commit df1fb08 pushed by JonRademacher
26s main
main
26s
Create AutonomyValuationContract.lean Standing Algebra Z3 Verification #1850: Commit 69beb1e pushed by JonRademacher
22s main
main
22s
Create AutonomyValuationContract.lean Lean CI #1871: Commit 69beb1e pushed by JonRademacher
19s main
main
19s
Create AutonomyValuationContract.lean Coq CI #1851: Commit 69beb1e pushed by JonRademacher
1m 47s main
main
1m 47s
Create AutonomyValuationScope.lean Lean CI #1870: Commit cb55c08 pushed by JonRademacher
20s main
main
20s
Create AutonomyValuationScope.lean Coq CI #1850: Commit cb55c08 pushed by JonRademacher
1m 48s main
main
1m 48s
Create AutonomyValuationScope.lean Standing Algebra Z3 Verification #1849: Commit cb55c08 pushed by JonRademacher
29s main
main
29s
Create AutonomyProgressBoundaryDoesNotImplySelection.lean Lean CI #1869: Commit f54a237 pushed by JonRademacher
18s main
main
18s
Create AutonomyProgressBoundaryDoesNotImplySelection.lean Coq CI #1849: Commit f54a237 pushed by JonRademacher
1m 50s main
main
1m 50s
Create AutonomyProgressBoundaryDoesNotImplySelection.lean Standing Algebra Z3 Verification #1848: Commit f54a237 pushed by JonRademacher
23s main
main
23s
Create AutonomyDoesNotImplyMorality.lean Standing Algebra Z3 Verification #1847: Commit 65cdb24 pushed by JonRademacher
31s main
main
31s
Create AutonomyDoesNotImplyMorality.lean Coq CI #1848: Commit 65cdb24 pushed by JonRademacher
1m 40s main
main
1m 40s
Create AutonomyDoesNotImplyMorality.lean Lean CI #1868: Commit 65cdb24 pushed by JonRademacher
21s main
main
21s
Create AutonomyDoesNotImplyIntervention.lean Coq CI #1847: Commit ba1e512 pushed by JonRademacher
1m 52s main
main
1m 52s
Create AutonomyDoesNotImplyIntervention.lean Standing Algebra Z3 Verification #1846: Commit ba1e512 pushed by JonRademacher
24s main
main
24s
Create AutonomyDoesNotImplyIntervention.lean Lean CI #1867: Commit ba1e512 pushed by JonRademacher
20s main
main
20s
Create AutonomyDoesNotImplyAuthority.lean Standing Algebra Z3 Verification #1845: Commit cc0d6f4 pushed by JonRademacher
31s main
main
31s
Create AutonomyDoesNotImplyAuthority.lean Coq CI #1846: Commit cc0d6f4 pushed by JonRademacher
1m 50s main
main
1m 50s
Create AutonomyDoesNotImplyAuthority.lean Lean CI #1866: Commit cc0d6f4 pushed by JonRademacher
25s main
main
25s
Create AutonomyDoesNotImplyLegitimacy.lean Coq CI #1845: Commit 3c8462b pushed by JonRademacher
2m 0s main
main
2m 0s
Create AutonomyDoesNotImplyLegitimacy.lean Standing Algebra Z3 Verification #1844: Commit 3c8462b pushed by JonRademacher
23s main
main
23s
Create AutonomyDoesNotImplyLegitimacy.lean Lean CI #1865: Commit 3c8462b pushed by JonRademacher
20s main
main
20s
Rename AtuonomyComparableUnderAgreement.lean to AutonomyComparableUnd… Coq CI #1844: Commit 3439931 pushed by JonRademacher
1m 49s main
main
1m 49s