Skip to content

Actions: AlgebraicJulia/AlgebraicPetri.jl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
575 workflow runs
575 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Julia CI/CD
Julia CI/CD #365: Scheduled
November 2, 2023 01:11 4m 8s main
November 2, 2023 01:11 4m 8s
Julia CI/CD
Julia CI/CD #364: Scheduled
November 1, 2023 01:15 4m 6s main
November 1, 2023 01:15 4m 6s
pages build and deployment
pages-build-deployment #77: by github-pages bot
October 31, 2023 17:17 4m 29s gh-pages
October 31, 2023 17:17 4m 29s
DOC: add package extension documentation
Julia CI/CD #363: Commit cd46566 pushed by mehalter
October 31, 2023 16:28 48m 39s main
October 31, 2023 16:28 48m 39s
DOC: add package extension documentation
Julia CI/CD #362: Pull request #165 opened by mehalter
October 31, 2023 14:48 36m 40s package_ext_docs
October 31, 2023 14:48 36m 40s
Julia CI/CD
Julia CI/CD #361: Scheduled
October 31, 2023 01:11 5m 25s main
October 31, 2023 01:11 5m 25s
pages build and deployment
pages-build-deployment #76: by github-pages bot
October 30, 2023 14:41 4m 8s gh-pages
October 30, 2023 14:41 4m 8s
CI: rename RELEASE_TOKEN to SERVICE_TOKEN
Julia CI/CD #360: Commit 5caadd9 pushed by mehalter
October 30, 2023 13:50 51m 6s main
October 30, 2023 13:50 51m 6s
Julia CI/CD
Julia CI/CD #359: Scheduled
October 30, 2023 01:11 5m 6s main
October 30, 2023 01:11 5m 6s
Julia CI/CD
Julia CI/CD #358: Scheduled
October 29, 2023 01:14 3m 32s main
October 29, 2023 01:14 3m 32s
pages build and deployment
pages-build-deployment #75: by github-pages bot
October 29, 2023 00:47 5m 2s gh-pages
October 29, 2023 00:47 5m 2s
pages build and deployment
pages-build-deployment #74: by github-pages bot
October 29, 2023 00:32 4m 5s gh-pages
October 29, 2023 00:32 4m 5s
pages build and deployment
pages-build-deployment #73: by github-pages bot
October 29, 2023 00:29 2m 20s gh-pages
October 29, 2023 00:29 2m 20s
Set version to 0.9.2
Julia CI/CD #357: Commit 81a0d18 pushed by algebraicjuliabot
October 29, 2023 00:27 24m 50s v0.9.2
October 29, 2023 00:27 24m 50s
TagBot trigger issue
TagBot #889: Issue comment #27 (comment) created by JuliaTagBot
October 29, 2023 00:26 39s
October 29, 2023 00:26 39s
Set version to 0.9.2
Julia CI/CD #356: Commit 81a0d18 pushed by algebraicjuliabot
October 29, 2023 00:10 21m 52s main
October 29, 2023 00:10 21m 52s
Julia CI/CD
Julia CI/CD #355: Manually run by mehalter
October 29, 2023 00:10 15s main
October 29, 2023 00:10 15s
BUILD: Allow Catlab v0.16 (as well as v0.15.5) in compat.
Julia CI/CD #354: Commit 42a700a pushed by mehalter
October 29, 2023 00:09 21m 34s main
October 29, 2023 00:09 21m 34s
Allow Catlab v0.16 in compat
TagBot #888: Issue comment #164 (comment) created by epatters
October 28, 2023 23:44 2s
October 28, 2023 23:44 2s
Allow Catlab v0.16 in compat
Julia CI/CD #353: Pull request #164 opened by epatters
October 28, 2023 23:38 25m 49s catlab-v0.16
October 28, 2023 23:38 25m 49s
Julia CI/CD
Julia CI/CD #352: Scheduled
October 28, 2023 01:08 4m 26s main
October 28, 2023 01:08 4m 26s
pages build and deployment
pages-build-deployment #72: by github-pages bot
October 27, 2023 20:04 4m 8s gh-pages
October 27, 2023 20:04 4m 8s
pages build and deployment
pages-build-deployment #71: by github-pages bot
October 27, 2023 19:44 3m 48s gh-pages
October 27, 2023 19:44 3m 48s
Set version to 0.9.1
Julia CI/CD #351: Commit 80c59b9 pushed by algebraicjuliabot
October 27, 2023 19:37 27m 13s v0.9.1
October 27, 2023 19:37 27m 13s
TagBot trigger issue
TagBot #887: Issue comment #27 (comment) created by JuliaTagBot
October 27, 2023 19:36 39s
October 27, 2023 19:36 39s
ProTip! You can narrow down the results and go further in time using created:<2023-10-27 or the other filters available.