Skip to content

Actions: TimothyEarley/incompleteness

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

very wip: finite for all intro check #13: Commit 5af7da1 pushed by TimothyEarley
January 12, 2025 22:35 49s main
main
January 12, 2025 22:35 49s
henkin exists check #12: Commit e46e030 pushed by TimothyEarley
January 11, 2025 16:46 51s main
main
January 11, 2025 16:46 51s
fix instance import check #11: Commit 343b2d3 pushed by TimothyEarley
January 2, 2025 16:45 45s main
main
January 2, 2025 16:45 45s
henkin cAnd check #10: Commit 3b8edfc pushed by TimothyEarley
January 2, 2025 16:42 45s main
main
January 2, 2025 16:42 45s
show substitution compose check #9: Commit ccc27db pushed by TimothyEarley
January 2, 2025 15:54 50s main
main
January 2, 2025 15:54 50s
fix import check #8: Commit eacd958 pushed by TimothyEarley
November 12, 2024 19:06 52s main
main
November 12, 2024 19:06 52s
cExists intro check #7: Commit cf22ba2 pushed by TimothyEarley
November 12, 2024 19:02 48s main
main
November 12, 2024 19:02 48s
more versions check #6: Commit 576e512 pushed by TimothyEarley
November 12, 2024 18:59 54s main
main
November 12, 2024 18:59 54s
whos idea was yaml anyway check #5: Commit 7484489 pushed by TimothyEarley
November 12, 2024 18:58 10s main
main
November 12, 2024 18:58 10s
check.yml: versions check #4: Commit a095514 pushed by TimothyEarley
November 12, 2024 18:56 12s main
main
November 12, 2024 18:56 12s
Update check.yml check #3: Commit 8c0e197 pushed by TimothyEarley
November 12, 2024 18:54 11s main
main
November 12, 2024 18:54 11s
Update check.yml check #2: Commit 9c2fe1f pushed by TimothyEarley
November 12, 2024 18:47 15s main
main
November 12, 2024 18:47 15s
Create check.yml check #1: Commit aa6c6c2 pushed by TimothyEarley
November 12, 2024 18:45 17s main
main
November 12, 2024 18:45 17s