Skip to content

Actions: cognitive-engineering-lab/argus

Actions

tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Filter ambiguities when an error exists, shorten expression snippet f… tests #149: Commit 3443fb5 pushed by gavinleroy
August 15, 2024 20:53 5m 14s will-nits
will-nits
August 15, 2024 20:53 5m 14s
Disable ambiguity implication draining...it's tainting typeck tests #148: Commit 2f0ee82 pushed by gavinleroy
August 13, 2024 21:25 4m 51s will-nits
will-nits
August 13, 2024 21:25 4m 51s
Fix bounding box change on tree icon wrappers tests #147: Commit fd18599 pushed by gavinleroy
August 13, 2024 21:00 5m 12s will-nits
will-nits
August 13, 2024 21:00 5m 12s
Remove Attention after first render, jump to def cursor, etc tests #146: Commit 12f7c75 pushed by gavinleroy
August 11, 2024 23:33 5m 9s will-nits
will-nits
August 11, 2024 23:33 5m 9s
Lots'O Goodies (#25) tests #145: Commit 1a680ed pushed by gavinleroy
August 6, 2024 01:04 5m 7s main
main
August 6, 2024 01:04 5m 7s
Lots'O Goodies tests #144: Pull request #25 synchronize by gavinleroy
August 6, 2024 00:08 4m 55s icon-info
icon-info
August 6, 2024 00:08 4m 55s
Remove unused type CandidateImplementors tests #143: Commit 562ab70 pushed by gavinleroy
August 6, 2024 00:07 5m 11s icon-info
icon-info
August 6, 2024 00:07 5m 11s
Lots'O Goodies tests #142: Pull request #25 synchronize by gavinleroy
August 6, 2024 00:04 5m 4s icon-info
icon-info
August 6, 2024 00:04 5m 4s
Remove unused ty mod tests #141: Commit 08b7014 pushed by gavinleroy
August 6, 2024 00:04 4m 59s icon-info
icon-info
August 6, 2024 00:04 4m 59s
Lots'O Goodies tests #140: Pull request #25 opened by gavinleroy
August 6, 2024 00:02 5m 2s icon-info
icon-info
August 6, 2024 00:02 5m 2s
Cache panel contents and force rerender on programatic change. tests #139: Commit 2ec4764 pushed by gavinleroy
August 5, 2024 23:58 5m 6s icon-info
icon-info
August 5, 2024 23:58 5m 6s
Force rerender of workspace when jump target changes tests #138: Commit cac4d8e pushed by gavinleroy
August 2, 2024 21:24 5m 6s icon-info
icon-info
August 2, 2024 21:24 5m 6s
Highlight jumped to obligations and update GoalKind in aadebug::tree tests #137: Commit 471de5b pushed by gavinleroy
August 2, 2024 00:17 4m 51s icon-info
icon-info
August 2, 2024 00:17 4m 51s
Typo and using details for Toggle tests #136: Commit 44ba0d5 pushed by gavinleroy
August 1, 2024 18:09 5m 20s icon-info
icon-info
August 1, 2024 18:09 5m 20s
Add Bottom Up -> Top Down jump and implementors tests #135: Commit 356f95f pushed by gavinleroy
August 1, 2024 14:54 5m 23s icon-info
icon-info
August 1, 2024 14:54 5m 23s
Jump to definition (#24) tests #134: Commit 23ef5fa pushed by gavinleroy
July 27, 2024 21:44 4m 49s main
main
July 27, 2024 21:44 4m 49s
Jump to definition tests #133: Pull request #24 opened by gavinleroy
July 27, 2024 03:55 5m 3s frogger
frogger
July 27, 2024 03:55 5m 3s
Remove language client dep tests #132: Commit 6f1e9ec pushed by gavinleroy
July 26, 2024 19:47 5m 1s frogger
frogger
July 26, 2024 19:47 5m 1s
Add locations to impls, style definition links tests #131: Commit 898848b pushed by gavinleroy
July 26, 2024 17:57 5m 50s frogger
frogger
July 26, 2024 17:57 5m 50s
Initial Jump2Def tests #130: Commit 5d9bc40 pushed by gavinleroy
July 26, 2024 01:50 5m 9s frogger
frogger
July 26, 2024 01:50 5m 9s
CI tests #129: Commit f27b2ca pushed by gavinleroy
July 23, 2024 20:38 5m 18s main
main
July 23, 2024 20:38 5m 18s
package.json tests #128: Commit c6631bd pushed by gavinleroy
July 22, 2024 22:15 4m 54s main
main
July 22, 2024 22:15 4m 54s
Remove subgoals implied by prior errors, filter all errors in a type-… tests #127: Commit df522b2 pushed by gavinleroy
July 22, 2024 21:58 5m 20s main
main
July 22, 2024 21:58 5m 20s
Remove subgoals implied by prior errors, filter all errors in a type-… tests #126: Pull request #22 synchronize by gavinleroy
July 22, 2024 21:49 5m 4s filter-implied-predicates
filter-implied-predicates
July 22, 2024 21:49 5m 4s
Add NBSP after impl tests #125: Commit 5cf0e61 pushed by gavinleroy
July 22, 2024 21:49 4m 55s filter-implied-predicates
filter-implied-predicates
July 22, 2024 21:49 4m 55s