Skip to content

Actions: smimram/satex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set node shapes so that satex can be used inside tikzcd CI #162: Commit 524790c pushed by smimram
February 26, 2024 12:16 1m 24s main
main
February 26, 2024 12:16 1m 24s
Bug #3. CI #161: Commit c7d6d14 pushed by smimram
February 26, 2024 11:59 1m 20s main
main
February 26, 2024 11:59 1m 20s
Update checkout. CI #160: Commit 52d9ea6 pushed by smimram
December 13, 2023 10:55 1m 32s main
main
December 13, 2023 10:55 1m 32s
Typo. CI #159: Commit 45f7e93 pushed by smimram
November 27, 2023 10:27 22s main
main
November 27, 2023 10:27 22s
Color example. CI #158: Commit 659619e pushed by smimram
November 27, 2023 10:27 1m 3s main
main
November 27, 2023 10:27 1m 3s
Merge pull request #2 from SimonForest/colors CI #157: Commit 81cc625 pushed by smimram
November 27, 2023 10:20 23s main
main
November 27, 2023 10:20 23s
Merge pull request #2 from SimonForest/colors CI #156: Commit 81cc625 pushed by smimram
November 27, 2023 10:20 1m 32s master
master
November 27, 2023 10:20 1m 32s
css. CI #155: Commit cfca278 pushed by smimram
November 22, 2023 15:17 1m 18s master
master
November 22, 2023 15:17 1m 18s
Try this. CI #154: Commit 3743be0 pushed by smimram
November 22, 2023 15:10 22s master
master
November 22, 2023 15:10 22s
Simpler. CI #153: Commit 81b0e61 pushed by smimram
November 22, 2023 15:07 1m 1s master
master
November 22, 2023 15:07 1m 1s
Try this. CI #152: Commit 32691de pushed by smimram
November 22, 2023 15:06 1m 42s master
master
November 22, 2023 15:06 1m 42s
Website. CI #151: Commit 7960643 pushed by smimram
November 22, 2023 15:01 Failure master
master
November 22, 2023 15:01 Failure
Install. CI #150: Commit cee25b2 pushed by smimram
November 22, 2023 14:54 1m 7s master
master
November 22, 2023 14:54 1m 7s
Update dune version. CI #149: Commit 56b55f6 pushed by smimram
November 21, 2023 10:26 1m 11s master
master
November 21, 2023 10:26 1m 11s
Downgrade dune for now. CI #148: Commit 2fdb427 pushed by smimram
November 14, 2023 09:48 1m 10s master
master
November 14, 2023 09:48 1m 10s
Update dune version. CI #147: Commit 5a1f6ba pushed by smimram
November 13, 2023 08:28 56s master
master
November 13, 2023 08:28 56s
Revert "Revert "Increase version number."" CI #146: Commit 8cdab7f pushed by smimram
November 7, 2023 09:40 1m 13s master
master
November 7, 2023 09:40 1m 13s
Apply changes from CI #145: Commit 90846db pushed by smimram
November 7, 2023 09:39 1m 19s master
master
November 7, 2023 09:39 1m 19s
Revert "Increase version number." CI #144: Commit 350aef1 pushed by smimram
October 27, 2023 11:14 1m 7s master
master
October 27, 2023 11:14 1m 7s
Citation. CI #143: Commit fed8fd6 pushed by smimram
September 27, 2023 13:03 1m 29s master
master
September 27, 2023 13:03 1m 29s
update. CI #142: Commit 88f7f11 pushed by smimram
August 20, 2023 11:14 1m 40s master
master
August 20, 2023 11:14 1m 40s
New checkout. CI #141: Commit d844bed pushed by smimram
August 20, 2023 11:12 32s master
master
August 20, 2023 11:12 32s
Revert "Circles with absolute dimensions." CI #140: Commit 7cc2804 pushed by smimram
August 9, 2023 08:40 1m 28s master
master
August 9, 2023 08:40 1m 28s