Skip to content

Actions: kritzcreek/nemo-lang

Actions

Test Suite

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Refactor type checker scope to remove clone's (#25)
Test Suite #112: Commit 3170922 pushed by kritzcreek
August 31, 2024 09:55 1m 6s main
August 31, 2024 09:55 1m 6s
Refactor type checker scope
Test Suite #111: Pull request #25 synchronize by kritzcreek
August 31, 2024 09:53 1m 5s type-checker-refactor-scope
August 31, 2024 09:53 1m 5s
Refactor type checker scope
Test Suite #110: Pull request #25 synchronize by kritzcreek
August 31, 2024 09:49 1m 11s type-checker-refactor-scope
August 31, 2024 09:49 1m 11s
Refactor type checker scope
Test Suite #109: Pull request #25 synchronize by kritzcreek
August 31, 2024 09:47 42s type-checker-refactor-scope
August 31, 2024 09:47 42s
Refactor type checker scope
Test Suite #108: Pull request #25 synchronize by kritzcreek
August 31, 2024 09:08 42s type-checker-refactor-scope
August 31, 2024 09:08 42s
Refactor type checker scope
Test Suite #107: Pull request #25 synchronize by kritzcreek
August 30, 2024 16:50 45s type-checker-refactor-scope
August 30, 2024 16:50 45s
Refactor type checker scope
Test Suite #106: Pull request #25 synchronize by kritzcreek
August 30, 2024 16:42 39s type-checker-refactor-scope
August 30, 2024 16:42 39s
Refactor type checker scope
Test Suite #105: Pull request #25 synchronize by kritzcreek
August 30, 2024 16:19 1m 15s type-checker-refactor-scope
August 30, 2024 16:19 1m 15s
Refactor type checker scope
Test Suite #104: Pull request #25 synchronize by kritzcreek
August 30, 2024 16:11 1m 14s type-checker-refactor-scope
August 30, 2024 16:11 1m 14s
Refactor type checker scope
Test Suite #103: Pull request #25 synchronize by kritzcreek
August 30, 2024 16:05 1m 1s type-checker-refactor-scope
August 30, 2024 16:05 1m 1s
Refactor type checker scope
Test Suite #102: Pull request #25 opened by kritzcreek
August 30, 2024 14:37 1m 9s type-checker-refactor-scope
August 30, 2024 14:37 1m 9s
Multi-file compilation (#24)
Test Suite #101: Commit f18629e pushed by kritzcreek
August 30, 2024 08:58 1m 59s main
August 30, 2024 08:58 1m 59s
Multi-file compilation
Test Suite #100: Pull request #24 synchronize by kritzcreek
August 30, 2024 08:51 1m 27s multi-file
August 30, 2024 08:51 1m 27s
Multi-file compilation
Test Suite #99: Pull request #24 synchronize by kritzcreek
August 30, 2024 08:41 1m 35s multi-file
August 30, 2024 08:41 1m 35s