Skip to content

Actions: tkb-github/attested-conjectures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply automatic changes Deploy Jekyll with GitHub Pages dependencies preinstalled #22: Commit cf9af4b pushed by tkb-github
December 29, 2023 06:13 31s main
main
December 29, 2023 06:13 31s
csv-to-md Run csv-to-md.py #13: Commit cf9af4b pushed by tkb-github
December 29, 2023 06:13 13s main
main
December 29, 2023 06:13 13s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #21: completed by tkb-github
December 26, 2023 13:51 34s
December 26, 2023 13:51 34s
csv-to-md Run csv-to-md.py #12: Commit 1529709 pushed by tkb-github
December 26, 2023 13:51 12s main
main
December 26, 2023 13:51 12s
Apply automatic changes Deploy Jekyll with GitHub Pages dependencies preinstalled #20: Commit 1529709 pushed by tkb-github
December 26, 2023 13:51 27s main
main
December 26, 2023 13:51 27s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #19: completed by tkb-github
December 24, 2023 22:45 29s
December 24, 2023 22:45 29s
Apply automatic changes Deploy Jekyll with GitHub Pages dependencies preinstalled #18: Commit 2024ae2 pushed by tkb-github
December 24, 2023 22:45 22s main
main
December 24, 2023 22:45 22s
csv-to-md Run csv-to-md.py #11: Commit 2024ae2 pushed by tkb-github
December 24, 2023 22:45 15s main
main
December 24, 2023 22:45 15s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #17: completed by tkb-github
December 22, 2023 13:48 27s
December 22, 2023 13:48 27s
Apply automatic changes Deploy Jekyll with GitHub Pages dependencies preinstalled #16: Commit cd2f121 pushed by tkb-github
December 22, 2023 13:48 23s main
main
December 22, 2023 13:48 23s
csv-to-md Run csv-to-md.py #10: Commit cd2f121 pushed by tkb-github
December 22, 2023 13:48 16s main
main
December 22, 2023 13:48 16s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #15: completed by tkb-github
December 19, 2023 14:05 38s
December 19, 2023 14:05 38s
Apply automatic changes Deploy Jekyll with GitHub Pages dependencies preinstalled #14: Commit 85903f7 pushed by tkb-github
December 19, 2023 14:05 32s main
main
December 19, 2023 14:05 32s
csv-to-md Run csv-to-md.py #9: Commit 85903f7 pushed by tkb-github
December 19, 2023 14:05 13s main
main
December 19, 2023 14:05 13s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #13: completed by tkb-github
December 18, 2023 13:43 44s
December 18, 2023 13:43 44s
csv-to-md Run csv-to-md.py #8: Commit 8d07fac pushed by tkb-github
December 18, 2023 13:43 13s main
main
December 18, 2023 13:43 13s
Apply automatic changes Deploy Jekyll with GitHub Pages dependencies preinstalled #12: Commit 8d07fac pushed by tkb-github
December 18, 2023 13:43 30s main
main
December 18, 2023 13:43 30s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #11: completed by tkb-github
December 17, 2023 13:49 32s
December 17, 2023 13:49 32s
csv-to-md Run csv-to-md.py #7: Commit 264b671 pushed by tkb-github
December 17, 2023 13:49 13s main
main
December 17, 2023 13:49 13s
Apply automatic changes Deploy Jekyll with GitHub Pages dependencies preinstalled #10: Commit 264b671 pushed by tkb-github
December 17, 2023 13:49 27s main
main
December 17, 2023 13:49 27s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #9: completed by tkb-github
December 16, 2023 14:08 41s
December 16, 2023 14:08 41s
csv-to-md Run csv-to-md.py #6: Commit b89254d pushed by tkb-github
December 16, 2023 14:08 16s main
main
December 16, 2023 14:08 16s
Apply automatic changes Deploy Jekyll with GitHub Pages dependencies preinstalled #8: Commit b89254d pushed by tkb-github
December 16, 2023 14:08 29s main
main
December 16, 2023 14:08 29s
Deploy Jekyll with GitHub Pages dependencies preinstalled Deploy Jekyll with GitHub Pages dependencies preinstalled #7: completed by tkb-github
December 16, 2023 00:00 35s
December 16, 2023 00:00 35s
License separately under CC BY-SA 4.0 Deploy Jekyll with GitHub Pages dependencies preinstalled #6: Commit 4ea0580 pushed by tkb-github
December 16, 2023 00:00 28s main
main
December 16, 2023 00:00 28s