Skip to content

Actions: AlgebraicJulia/GATlab.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 #1053: Scheduled
February 4, 2025 01:18 2m 57s main
main
February 4, 2025 01:18 2m 57s
Julia CI/CD Julia CI/CD #1052: Scheduled
February 3, 2025 01:19 3m 24s main
main
February 3, 2025 01:19 3m 24s
Julia CI/CD Julia CI/CD #1051: Scheduled
February 2, 2025 01:22 3m 10s main
main
February 2, 2025 01:22 3m 10s
Julia CI/CD Julia CI/CD #1050: Scheduled
February 1, 2025 01:22 2m 58s main
main
February 1, 2025 01:22 2m 58s
Julia CI/CD Julia CI/CD #1049: Scheduled
January 31, 2025 01:18 2m 56s main
main
January 31, 2025 01:18 2m 56s
Julia CI/CD Julia CI/CD #1048: Scheduled
January 30, 2025 01:17 2m 58s main
main
January 30, 2025 01:17 2m 58s
Julia CI/CD Julia CI/CD #1047: Scheduled
January 29, 2025 01:17 2m 58s main
main
January 29, 2025 01:17 2m 58s
Pin sorts in a GAT to Julia types TagBot #208: Issue comment #194 (comment) created by codecov bot
January 28, 2025 17:38 3s
January 28, 2025 17:38 3s
Pin sorts in a GAT to Julia types Julia CI/CD #1046: Pull request #194 opened by kris-brown
January 28, 2025 17:34 5m 12s fixed_types
fixed_types
January 28, 2025 17:34 5m 12s
Named instance type assignments TagBot #207: Issue comment #193 (comment) created by codecov bot
January 28, 2025 01:32 2s
January 28, 2025 01:32 2s
Named instance type assignments Julia CI/CD #1045: Pull request #193 synchronize by kris-brown
January 28, 2025 01:23 4m 55s labeled_instance_sorts
labeled_instance_sorts
January 28, 2025 01:23 4m 55s
Julia CI/CD Julia CI/CD #1044: Scheduled
January 28, 2025 01:17 3m 2s main
main
January 28, 2025 01:17 3m 2s
Named instance type assignments Julia CI/CD #1043: Pull request #193 opened by kris-brown
January 28, 2025 01:02 5m 22s labeled_instance_sorts
labeled_instance_sorts
January 28, 2025 01:02 5m 22s
Julia CI/CD Julia CI/CD #1042: Scheduled
January 27, 2025 01:19 2m 49s main
main
January 27, 2025 01:19 2m 49s
Julia CI/CD Julia CI/CD #1041: Scheduled
January 26, 2025 01:20 3m 55s main
main
January 26, 2025 01:20 3m 55s
Julia CI/CD Julia CI/CD #1040: Scheduled
January 25, 2025 01:14 2m 52s main
main
January 25, 2025 01:14 2m 52s
Julia CI/CD Julia CI/CD #1039: Scheduled
January 24, 2025 01:18 2m 44s main
main
January 24, 2025 01:18 2m 44s
Julia CI/CD Julia CI/CD #1038: Scheduled
January 23, 2025 01:18 2m 39s main
main
January 23, 2025 01:18 2m 39s
Julia CI/CD Julia CI/CD #1037: Scheduled
January 22, 2025 01:19 2m 38s main
main
January 22, 2025 01:19 2m 38s
Define alias methods in @instance rather than @theory Julia CI/CD #1036: Pull request #190 opened by kris-brown
January 21, 2025 17:20 5m 50s alias_fix
alias_fix
January 21, 2025 17:20 5m 50s
Julia CI/CD Julia CI/CD #1035: Scheduled
January 21, 2025 01:17 2m 39s main
main
January 21, 2025 01:17 2m 39s
Julia CI/CD Julia CI/CD #1034: Scheduled
January 20, 2025 01:19 2m 56s main
main
January 20, 2025 01:19 2m 56s
Sugar for models with union types TagBot #206: Issue comment #164 (comment) created by kris-brown
January 19, 2025 19:45 1s
January 19, 2025 19:45 1s
Runtime checking for whether a model implements a theory, special distinguished models for each theory Julia CI/CD #1033: Pull request #189 opened by kris-brown
January 19, 2025 19:39 5m 17s runtime_typechecking
runtime_typechecking
January 19, 2025 19:39 5m 17s
Remove @fail Julia CI/CD #1032: Pull request #188 opened by kris-brown
January 19, 2025 19:10 4m 44s no_fail
no_fail
January 19, 2025 19:10 4m 44s