Skip to content

Actions: AlgebraicJulia/GATlab.jl

Actions

Julia CI/CD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
julia_ci.yml
719 workflow runs
719 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

hotfix: coerce to AlgTerm Julia CI/CD #352: Commit ee4bf10 pushed by olynch
September 27, 2023 22:46 6m 14s main
main
September 27, 2023 22:46 6m 14s
hotfix: coerce to AlgTerm Julia CI/CD #351: Pull request #114 opened by kris-brown
September 27, 2023 22:46 5m 10s hotfix
hotfix
September 27, 2023 22:46 5m 10s
infer axiom type + improved normalize_decl Julia CI/CD #350: Commit a996cd6 pushed by olynch
September 27, 2023 22:28 5m 59s main
main
September 27, 2023 22:28 5m 59s
infer axiom type + improved normalize_decl Julia CI/CD #349: Pull request #113 opened by kris-brown
September 27, 2023 22:22 5m 49s infer_axiom_type
infer_axiom_type
September 27, 2023 22:22 5m 49s
bump version Julia CI/CD #348: Commit d116677 pushed by olynch
September 27, 2023 20:28 5m 39s main
main
September 27, 2023 20:28 5m 39s
TypeCtx, argcontext is ScopeList, idents vs getidents, Julia CI/CD #347: Commit a53b1c3 pushed by olynch
September 27, 2023 20:24 5m 4s main
main
September 27, 2023 20:24 5m 4s
clean up Julia CI/CD #346: Commit c66e2cc pushed by olynch
September 27, 2023 20:14 6m 33s main
main
September 27, 2023 20:14 6m 33s
Aliases at the scope level Julia CI/CD #345: Pull request #109 synchronize by olynch
September 27, 2023 20:08 6m 20s scope-level-alias
scope-level-alias
September 27, 2023 20:08 6m 20s
Julia CI/CD Julia CI/CD #344: Scheduled
September 27, 2023 01:00 3m 36s main
main
September 27, 2023 01:00 3m 36s
Model Migration Julia CI/CD #343: Pull request #112 opened by kris-brown
September 27, 2023 00:28 5m 50s module_for_theorymap
module_for_theorymap
September 27, 2023 00:28 5m 50s
Aliases at the scope level Julia CI/CD #342: Pull request #109 synchronize by olynch
September 26, 2023 23:21 7m 20s scope-level-alias
scope-level-alias
September 26, 2023 23:21 7m 20s
TypeCtx as generalization of TypeScope, better @theorymap parsing Julia CI/CD #341: Pull request #110 synchronize by kris-brown
September 26, 2023 23:17 4m 52s fix_argcontext
fix_argcontext
September 26, 2023 23:17 4m 52s
Julia CI/CD Julia CI/CD #340: Scheduled
September 26, 2023 01:00 4m 28s main
main
September 26, 2023 01:00 4m 28s
Basic model migration functionality Julia CI/CD #339: Pull request #111 synchronize by kris-brown
September 25, 2023 20:55 5m 0s module_for_theorymap
module_for_theorymap
September 25, 2023 20:55 5m 0s
Basic model migration functionality Julia CI/CD #338: Pull request #111 opened by kris-brown
September 25, 2023 01:13 4m 54s module_for_theorymap
module_for_theorymap
September 25, 2023 01:13 4m 54s
Julia CI/CD Julia CI/CD #337: Scheduled
September 25, 2023 01:00 3m 7s main
main
September 25, 2023 01:00 3m 7s
Julia CI/CD Julia CI/CD #336: Scheduled
September 24, 2023 01:03 3m 15s main
main
September 24, 2023 01:03 3m 15s
Julia CI/CD Julia CI/CD #335: Scheduled
September 23, 2023 00:57 3m 10s main
main
September 23, 2023 00:57 3m 10s
TypeCtx as generalization of TypeScope, better @theorymap parsing Julia CI/CD #334: Pull request #110 synchronize by kris-brown
September 22, 2023 23:23 5m 57s fix_argcontext
fix_argcontext
September 22, 2023 23:23 5m 57s
TypeCtx as generalization of TypeScope, better @theorymap parsing Julia CI/CD #333: Pull request #110 synchronize by kris-brown
September 22, 2023 23:18 3m 51s fix_argcontext
fix_argcontext
September 22, 2023 23:18 3m 51s
TypeCtx as generalization of TypeScope, better @theorymap parsing Julia CI/CD #332: Pull request #110 synchronize by kris-brown
September 22, 2023 23:06 5m 20s fix_argcontext
fix_argcontext
September 22, 2023 23:06 5m 20s
TypeCtx as generalization of TypeScope, better @theorymap parsing Julia CI/CD #331: Pull request #110 synchronize by kris-brown
September 22, 2023 20:08 7m 11s fix_argcontext
fix_argcontext
September 22, 2023 20:08 7m 11s
TypeCtx as generalization of TypeScope, better @theorymap parsing Julia CI/CD #330: Pull request #110 synchronize by kris-brown
September 22, 2023 18:12 5m 26s fix_argcontext
fix_argcontext
September 22, 2023 18:12 5m 26s
TypeCtx as generalization of TypeScope, better @theorymap parsing Julia CI/CD #329: Pull request #110 opened by kris-brown
September 22, 2023 17:25 5m 24s fix_argcontext
fix_argcontext
September 22, 2023 17:25 5m 24s
Julia CI/CD Julia CI/CD #328: Scheduled
September 22, 2023 01:00 3m 40s main
main
September 22, 2023 01:00 3m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-09-22 or the other filters available.