Skip to content

Actions: AlgebraicJulia/AlgebraicRewriting.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
702 workflow runs
702 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Julia CI/CD Julia CI/CD #158: Scheduled
October 20, 2023 00:47 3m 11s main
main
October 20, 2023 00:47 3m 11s
Julia CI/CD Julia CI/CD #157: Scheduled
October 19, 2023 00:47 3m 14s main
main
October 19, 2023 00:47 3m 14s
Julia CI/CD Julia CI/CD #156: Scheduled
October 18, 2023 00:47 7m 45s main
main
October 18, 2023 00:47 7m 45s
pages build and deployment pages-build-deployment #43: by github-pages bot
October 17, 2023 17:45 52s gh-pages
gh-pages
October 17, 2023 17:45 52s
Quantifier monic constraint only applies to ob Julia CI/CD #155: Commit 7db7bd0 pushed by kris-brown
October 17, 2023 17:34 34m 17s main
main
October 17, 2023 17:34 34m 17s
Julia CI/CD Julia CI/CD #154: Scheduled
October 17, 2023 00:48 3m 8s main
main
October 17, 2023 00:48 3m 8s
Julia CI/CD Julia CI/CD #153: Scheduled
October 16, 2023 00:49 3m 31s main
main
October 16, 2023 00:49 3m 31s
Julia CI/CD Julia CI/CD #152: Scheduled
October 15, 2023 00:51 3m 17s main
main
October 15, 2023 00:51 3m 17s
pages build and deployment pages-build-deployment #42: by github-pages bot
October 14, 2023 07:19 56s gh-pages
gh-pages
October 14, 2023 07:19 56s
Merge pull request #29 from AlgebraicJulia/fixPBPO Julia CI/CD #151: Commit 8c4bde4 pushed by kris-brown
October 14, 2023 07:08 30m 55s main
main
October 14, 2023 07:08 30m 55s
Partial abstraction / variable substitution+merging Julia CI/CD #150: Pull request #29 synchronize by kris-brown
October 14, 2023 06:34 28m 1s fixPBPO
fixPBPO
October 14, 2023 06:34 28m 1s
Partial abstraction / variable substitution+merging Julia CI/CD #149: Pull request #29 synchronize by kris-brown
October 14, 2023 05:48 31m 8s fixPBPO
fixPBPO
October 14, 2023 05:48 31m 8s
pages build and deployment pages-build-deployment #41: by github-pages bot
October 14, 2023 05:26 58s gh-pages
gh-pages
October 14, 2023 05:26 58s
Merge pull request #28 from AlgebraicJulia/viz_constraint Julia CI/CD #148: Commit 8f785c7 pushed by kris-brown
October 14, 2023 05:15 26m 14s main
main
October 14, 2023 05:15 26m 14s
Visualize constraints Julia CI/CD #147: Pull request #28 synchronize by kris-brown
October 14, 2023 02:06 31m 0s viz_constraint
viz_constraint
October 14, 2023 02:06 31m 0s
pages build and deployment pages-build-deployment #40: by github-pages bot
October 14, 2023 02:02 54s gh-pages
gh-pages
October 14, 2023 02:02 54s
Merge pull request #31 from AlgebraicJulia/coneg Julia CI/CD #146: Commit b970bfd pushed by kris-brown
October 14, 2023 01:49 29m 38s main
main
October 14, 2023 01:49 29m 38s
conegation rewriting TagBot #27: Issue comment #31 (comment) created by codecov bot
October 14, 2023 01:26 1s
October 14, 2023 01:26 1s
conegation rewriting Julia CI/CD #145: Pull request #31 synchronize by kris-brown
October 14, 2023 01:26 22m 16s coneg
coneg
October 14, 2023 01:26 22m 16s
Julia CI/CD Julia CI/CD #144: Scheduled
October 14, 2023 00:46 3m 25s main
main
October 14, 2023 00:46 3m 25s
conegation rewriting Julia CI/CD #143: Pull request #31 synchronize by kris-brown
October 14, 2023 00:06 25m 25s coneg
coneg
October 14, 2023 00:06 25m 25s
conegation rewriting Julia CI/CD #142: Pull request #31 opened by kris-brown
October 13, 2023 22:33 13m 59s coneg
coneg
October 13, 2023 22:33 13m 59s
Visualize constraints Julia CI/CD #141: Pull request #28 synchronize by kris-brown
October 13, 2023 02:39 5m 32s viz_constraint
viz_constraint
October 13, 2023 02:39 5m 32s
Visualize constraints Julia CI/CD #140: Pull request #28 synchronize by kris-brown
October 13, 2023 02:16 5m 52s viz_constraint
viz_constraint
October 13, 2023 02:16 5m 52s
Visualize constraints Julia CI/CD #139: Pull request #28 synchronize by kris-brown
October 13, 2023 01:31 10m 56s viz_constraint
viz_constraint
October 13, 2023 01:31 10m 56s
ProTip! You can narrow down the results and go further in time using created:<2023-10-13 or the other filters available.