Skip to content

Actions: kritzcreek/nemo-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixes examples and std after lambda change
Test Suite #134: Pull request #41 opened by kritzcreek
October 6, 2024 12:17 1m 3s fix-examples
October 6, 2024 12:17 1m 3s
Inference for lambda argument and result types (#40)
Test Suite #133: Commit 061002e pushed by kritzcreek
October 6, 2024 12:10 1m 11s main
October 6, 2024 12:10 1m 11s
Inference for lambda argument and result types
Test Suite #132: Pull request #40 synchronize by kritzcreek
October 6, 2024 12:04 1m 6s check-lambda
October 6, 2024 12:04 1m 6s
Inference for lambda argument and result types
Test Suite #131: Pull request #40 synchronize by kritzcreek
October 6, 2024 08:47 1m 10s check-lambda
October 6, 2024 08:47 1m 10s
Inference for lambda argument and result types
Test Suite #130: Pull request #40 synchronize by kritzcreek
October 6, 2024 08:25 1m 3s check-lambda
October 6, 2024 08:25 1m 3s
Inference for lambda argument and result types
Test Suite #129: Pull request #40 synchronize by kritzcreek
October 6, 2024 08:22 36s check-lambda
October 6, 2024 08:22 36s
Inference for lambda argument and result types
Test Suite #128: Pull request #40 synchronize by kritzcreek
October 6, 2024 08:20 40s check-lambda
October 6, 2024 08:20 40s
Inference for lambda argument and result types
Test Suite #127: Pull request #40 opened by kritzcreek
October 6, 2024 08:19 43s check-lambda
October 6, 2024 08:19 43s
bumps various versions (#39)
Test Suite #126: Commit 1cdce7b pushed by kritzcreek
October 4, 2024 10:34 2m 9s main
October 4, 2024 10:34 2m 9s
bumps various versions
Test Suite #125: Pull request #39 opened by kritzcreek
October 4, 2024 10:31 2m 1s christoph/version-bumps
October 4, 2024 10:31 2m 1s
emit documentation during indexing
Test Suite #124: Commit 3c2c9af pushed by kritzcreek
September 19, 2024 17:52 1m 4s main
September 19, 2024 17:52 1m 4s
pages build and deployment
pages-build-deployment #31: by kritzcreek
September 19, 2024 16:45 43s gh-pages
September 19, 2024 16:45 43s
fixes sourcegraph example
Test Suite #123: Commit 1e04336 pushed by kritzcreek
September 19, 2024 16:44 1m 4s main
September 19, 2024 16:44 1m 4s
pages build and deployment
pages-build-deployment #30: by kritzcreek
September 19, 2024 16:21 44s gh-pages
September 19, 2024 16:21 44s
fixes example
Test Suite #122: Commit fda28ba pushed by kritzcreek
September 19, 2024 16:00 1m 7s main
September 19, 2024 16:00 1m 7s
removes unused global from example code
Test Suite #121: Commit 6dce634 pushed by kritzcreek
September 19, 2024 15:39 1m 9s main
September 19, 2024 15:39 1m 9s
Implements a SCIP indexer (#38)
Test Suite #120: Commit 4e3a800 pushed by kritzcreek
September 19, 2024 15:28 1m 18s main
September 19, 2024 15:28 1m 18s
Implements a SCIP indexer
Test Suite #119: Pull request #38 synchronize by kritzcreek
September 19, 2024 15:26 1m 7s scip
September 19, 2024 15:26 1m 7s
Implements a SCIP indexer
Test Suite #118: Pull request #38 synchronize by kritzcreek
September 19, 2024 15:23 1m 26s scip
September 19, 2024 15:23 1m 26s
makes hop dependency git based
Test Suite #117: Commit 76db2a2 pushed by kritzcreek
September 18, 2024 12:48 2m 2s main
September 18, 2024 12:48 2m 2s
Implements a SCIP indexer (#37)
Test Suite #116: Commit 8065d95 pushed by kritzcreek
September 18, 2024 12:44 37s main
September 18, 2024 12:44 37s
Implements a SCIP indexer
Test Suite #115: Pull request #37 opened by kritzcreek
September 18, 2024 12:44 46s scip
September 18, 2024 12:44 46s
version updates
Test Suite #114: Commit 34b6e53 pushed by kritzcreek
September 11, 2024 07:38 1m 45s main
September 11, 2024 07:38 1m 45s
removes qualified type constructors from the surface syntax
Test Suite #113: Commit 0b0e503 pushed by kritzcreek
September 8, 2024 08:42 1m 49s main
September 8, 2024 08:42 1m 49s
pages build and deployment
pages-build-deployment #29: by kritzcreek
August 31, 2024 09:56 43s gh-pages
August 31, 2024 09:56 43s