Skip to content

Actions: pcaversaccio/snekmate

Actions

👁️ Halmos symbolic tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
halmos.yml
301 workflow runs
301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #301: Scheduled
December 11, 2024 03:47 55m 8s main
main
December 11, 2024 03:47 55m 8s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #300: Scheduled
December 10, 2024 03:48 57m 3s main
main
December 10, 2024 03:48 57m 3s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #299: Scheduled
December 9, 2024 03:48 56m 43s main
main
December 9, 2024 03:48 56m 43s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #298: Scheduled
December 8, 2024 03:48 54m 42s main
main
December 8, 2024 03:48 54m 42s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #297: Scheduled
December 7, 2024 03:46 59m 20s main
main
December 7, 2024 03:46 59m 20s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #296: Scheduled
December 6, 2024 03:47 54m 3s main
main
December 6, 2024 03:47 54m 3s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #295: Scheduled
December 5, 2024 03:47 52m 38s main
main
December 5, 2024 03:47 52m 38s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #294: Scheduled
December 4, 2024 03:47 56m 13s main
main
December 4, 2024 03:47 56m 13s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #293: Manually run by pcaversaccio
December 3, 2024 14:59 53m 45s ci/python-version-3.13
ci/python-version-3.13
December 3, 2024 14:59 53m 45s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #292: Scheduled
December 3, 2024 03:47 57m 26s main
main
December 3, 2024 03:47 57m 26s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #291: Scheduled
December 2, 2024 03:48 57m 38s main
main
December 2, 2024 03:48 57m 38s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #290: Scheduled
December 1, 2024 03:55 53m 27s main
main
December 1, 2024 03:55 53m 27s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #289: Scheduled
November 30, 2024 03:44 57m 28s main
main
November 30, 2024 03:44 57m 28s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #288: Scheduled
November 29, 2024 03:46 53m 55s main
main
November 29, 2024 03:46 53m 55s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #287: Scheduled
November 28, 2024 03:47 53m 8s main
main
November 28, 2024 03:47 53m 8s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #286: Scheduled
November 27, 2024 03:46 48m 8s main
main
November 27, 2024 03:46 48m 8s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #285: Scheduled
November 26, 2024 03:46 55m 49s main
main
November 26, 2024 03:46 55m 49s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #284: Scheduled
November 25, 2024 03:46 53m 18s main
main
November 25, 2024 03:46 53m 18s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #283: Scheduled
November 24, 2024 03:45 55m 40s main
main
November 24, 2024 03:45 55m 40s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #282: Scheduled
November 23, 2024 03:42 56m 50s main
main
November 23, 2024 03:42 56m 50s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #281: Scheduled
November 22, 2024 03:45 54m 18s main
main
November 22, 2024 03:45 54m 18s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #280: Scheduled
November 21, 2024 03:44 54m 41s main
main
November 21, 2024 03:44 54m 41s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #279: Scheduled
November 20, 2024 03:44 53m 53s main
main
November 20, 2024 03:44 53m 53s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #278: Scheduled
November 19, 2024 03:47 55m 37s main
main
November 19, 2024 03:47 55m 37s
👁️ Halmos symbolic tests 👁️ Halmos symbolic tests #277: Scheduled
November 18, 2024 03:46 1h 0m 36s main
main
November 18, 2024 03:46 1h 0m 36s