Skip to content

Actions: AlgebraicJulia/GATlab.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow run results
68 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Aliases at the scope level TagBot #102: Issue comment #109 (comment) created by codecov bot
September 21, 2023 23:29 1s
September 21, 2023 23:29 1s
Aliases at the scope level Julia CI/CD #327: Pull request #109 opened by olynch
September 21, 2023 23:26 4m 28s scope-level-alias
scope-level-alias
September 21, 2023 23:26 4m 28s
Julia CI/CD Julia CI/CD #326: Scheduled
September 21, 2023 00:59 3m 21s main
main
September 21, 2023 00:59 3m 21s
pages build and deployment pages-build-deployment #22: by github-pages bot
September 21, 2023 00:36 59s gh-pages
gh-pages
September 21, 2023 00:36 59s
generalize typemap to be valued in TypeInCtx Julia CI/CD #325: Commit 06be9f0 pushed by olynch
September 21, 2023 00:32 5m 30s main
main
September 21, 2023 00:32 5m 30s
Theory maps send type constructors to general types in a context TagBot #101: Issue comment #108 (comment) created by codecov bot
September 21, 2023 00:21 5s
September 21, 2023 00:21 5s
pages build and deployment pages-build-deployment #21: by github-pages bot
September 21, 2023 00:18 55s gh-pages
gh-pages
September 21, 2023 00:18 55s
Theory maps send type constructors to general types in a context Julia CI/CD #324: Pull request #108 opened by kris-brown
September 21, 2023 00:18 7m 52s types_to_typesinctx
types_to_typesinctx
September 21, 2023 00:18 7m 52s
pages build and deployment pages-build-deployment #20: by github-pages bot
September 21, 2023 00:14 59s gh-pages
gh-pages
September 21, 2023 00:14 59s
add import statements to @theory declaration Julia CI/CD #323: Commit d06ab56 pushed by olynch
September 21, 2023 00:13 7m 13s main
main
September 21, 2023 00:13 7m 13s
special bonus tests Julia CI/CD #322: Commit c625302 pushed by olynch
September 21, 2023 00:11 9m 32s main
main
September 21, 2023 00:11 9m 32s
add import statements to @theory declaration TagBot #100: Issue comment #107 (comment) created by codecov bot
September 21, 2023 00:10 1s
September 21, 2023 00:10 1s
add import statements to @theory declaration Julia CI/CD #321: Pull request #107 opened by kris-brown
September 21, 2023 00:06 7m 14s extendmethod
extendmethod
September 21, 2023 00:06 7m 14s
pages build and deployment pages-build-deployment #19: by github-pages bot
September 20, 2023 23:59 50s gh-pages
gh-pages
September 20, 2023 23:59 50s
c is short for codom Julia CI/CD #320: Commit 15cec29 pushed by olynch
September 20, 2023 23:56 7m 46s main
main
September 20, 2023 23:56 7m 46s
opposite category model in stdlib Julia CI/CD #319: Pull request #102 synchronize by kris-brown
September 20, 2023 23:53 9m 45s op
op
September 20, 2023 23:53 9m 45s
LaTeX output for pretty printing TagBot #99: Issue comment #44 (comment) created by olynch
September 20, 2023 23:50 2s
September 20, 2023 23:50 2s
opposite category model in stdlib Julia CI/CD #318: Pull request #102 synchronize by kris-brown
September 20, 2023 23:47 3m 58s op
op
September 20, 2023 23:47 3m 58s
opposite category model in stdlib Julia CI/CD #317: Pull request #102 synchronize by kris-brown
September 20, 2023 23:40 9m 48s op
op
September 20, 2023 23:40 9m 48s
pages build and deployment pages-build-deployment #18: by github-pages bot
September 20, 2023 23:37 49s gh-pages
gh-pages
September 20, 2023 23:37 49s
pass model via Base.getindex instead of keyword argument Julia CI/CD #316: Commit 83ac47c pushed by olynch
September 20, 2023 23:34 9m 50s main
main
September 20, 2023 23:34 9m 50s
Pass model via Base.getindex TagBot #98: Issue comment #106 (comment) created by codecov bot
September 20, 2023 23:33 2s
September 20, 2023 23:33 2s
opposite category model in stdlib TagBot #97: Issue comment #102 (comment) created by olynch
September 20, 2023 23:32 2s
September 20, 2023 23:32 2s
Pass model via Base.getindex Julia CI/CD #315: Pull request #106 opened by olynch
September 20, 2023 23:28 7m 48s model-kw-canceled
model-kw-canceled
September 20, 2023 23:28 7m 48s
TagBot trigger issue TagBot #96: Issue comment #97 (comment) created by JuliaTagBot
September 20, 2023 22:07 29s
September 20, 2023 22:07 29s