Skip to content

Actions: cmcmA20/cubical-mini

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
622 workflow runs
622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #282: by github-pages bot
October 17, 2024 18:45 53s
October 17, 2024 18:45 53s
chore: merge back some stuff from tarski branch Ubuntu build #629: Commit c8f03b2 pushed by cmcmA20
October 17, 2024 18:18 27m 17s master
master
October 17, 2024 18:18 27m 17s
add more list ops & predicates Ubuntu build #628: Pull request #58 synchronize by clayrat
October 16, 2024 11:14 9m 5s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 16, 2024 11:14 9m 5s
pages build and deployment pages-build-deployment #281: by github-pages bot
October 16, 2024 06:19 48s
October 16, 2024 06:19 48s
simplify + performance optimisation Ubuntu build #627: Commit e979f4f pushed by cmcmA20
October 16, 2024 05:53 26m 40s master
master
October 16, 2024 05:53 26m 40s
Fix univalence and displayed cat stuff Ubuntu build #626: Pull request #59 opened by cmcmA20
October 16, 2024 05:26 25m 57s disp-univ
disp-univ
October 16, 2024 05:26 25m 57s
add more list ops & predicates Ubuntu build #625: Pull request #58 synchronize by clayrat
October 14, 2024 14:05 7m 55s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 14, 2024 14:05 7m 55s
add more list ops & predicates Ubuntu build #624: Pull request #58 synchronize by clayrat
October 14, 2024 13:27 45s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 14, 2024 13:27 45s
add more list ops & predicates Ubuntu build #623: Pull request #58 synchronize by clayrat
October 14, 2024 13:21 45s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 14, 2024 13:21 45s
add more list ops & predicates Ubuntu build #622: Pull request #58 synchronize by clayrat
October 14, 2024 12:52 24m 14s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 14, 2024 12:52 24m 14s
add more list ops & predicates Ubuntu build #621: Pull request #58 synchronize by clayrat
October 14, 2024 11:54 26m 11s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 14, 2024 11:54 26m 11s
pages build and deployment pages-build-deployment #280: by github-pages bot
October 12, 2024 01:06 45s
October 12, 2024 01:06 45s
chore: fix display forms Ubuntu build #620: Commit 57d494d pushed by cmcmA20
October 12, 2024 00:58 8m 19s master
master
October 12, 2024 00:58 8m 19s
add more list ops & predicates Ubuntu build #619: Pull request #58 synchronize by clayrat
October 12, 2024 00:36 6m 47s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 12, 2024 00:36 6m 47s
add more list ops & predicates Ubuntu build #618: Pull request #58 synchronize by clayrat
October 12, 2024 00:33 1m 18s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 12, 2024 00:33 1m 18s
add more list ops & predicates Ubuntu build #617: Pull request #58 synchronize by clayrat
October 12, 2024 00:32 50s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 12, 2024 00:32 50s
add more list ops & predicates Ubuntu build #616: Pull request #58 synchronize by clayrat
October 12, 2024 00:32 52s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 12, 2024 00:32 52s
add more list ops & predicates Ubuntu build #615: Pull request #58 synchronize by clayrat
October 12, 2024 00:32 1m 9s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 12, 2024 00:32 1m 9s
acquire total orders + add strict&trichotomous orders (#56) Ubuntu build #614: Commit fd39f9e pushed by cmcmA20
October 11, 2024 23:59 17m 50s master
master
October 11, 2024 23:59 17m 50s
acquire total orders + add strict&trichotomous orders Ubuntu build #613: Pull request #56 synchronize by cmcmA20
October 11, 2024 23:54 1m 7s clayrat:order-extra
clayrat:order-extra
October 11, 2024 23:54 1m 7s
acquire total orders + add strict&trichotomous orders Ubuntu build #612: Pull request #56 synchronize by cmcmA20
October 11, 2024 23:52 1m 37s clayrat:order-extra
clayrat:order-extra
October 11, 2024 23:52 1m 37s
acquire total orders + add strict&trichotomous orders Ubuntu build #611: Pull request #56 synchronize by cmcmA20
October 11, 2024 23:40 1m 57s clayrat:order-extra
clayrat:order-extra
October 11, 2024 23:40 1m 57s
acquire total orders + add strict&trichotomous orders Ubuntu build #610: Pull request #56 synchronize by clayrat
October 11, 2024 22:39 18m 8s clayrat:order-extra
clayrat:order-extra
October 11, 2024 22:39 18m 8s
add more list ops & predicates Ubuntu build #609: Pull request #58 synchronize by clayrat
October 11, 2024 13:47 19m 11s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 11, 2024 13:47 19m 11s
add more list ops & predicates Ubuntu build #608: Pull request #58 synchronize by clayrat
October 8, 2024 22:52 43s clayrat:list-ops-predicates
clayrat:list-ops-predicates
October 8, 2024 22:52 43s