Skip to content

Actions: d702e20/CGAAL

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add composite search strategies (#233) CI #1876: Commit b52e4e0 pushed by NicEastvillage
February 1, 2024 11:38 3m 15s main
main
February 1, 2024 11:38 3m 15s
Fix clippy warning CI #1875: Commit e286743 pushed by NicEastvillage
February 1, 2024 08:13 3m 19s multi-ss
multi-ss
February 1, 2024 08:13 3m 19s
Clippy, fmt, and version bump CI #1874: Commit ba6ef62 pushed by NicEastvillage
January 31, 2024 13:48 3m 5s multi-ss
multi-ss
January 31, 2024 13:48 3m 5s
Add composite search strategies CI #1873: Commit 8e92acf pushed by NicEastvillage
January 31, 2024 13:41 3m 10s multi-ss
multi-ss
January 31, 2024 13:41 3m 10s
port bouncing ball WIP CI #1872: Commit f09ad2e pushed by falkecarlsen
November 22, 2023 15:04 4m 26s bouncing_ball
bouncing_ball
November 22, 2023 15:04 4m 26s
Merge pull request #232 from d702e20/lcgs-new-intermediate CI #1871: Commit c4e0e5b pushed by falkecarlsen
October 25, 2023 10:27 6m 12s main
main
October 25, 2023 10:27 6m 12s
bump engine major, and bump cli patch CI #1870: Commit b497dd7 pushed by falkecarlsen
October 25, 2023 09:16 6m 28s lcgs-new-intermediate
lcgs-new-intermediate
October 25, 2023 09:16 6m 28s
rustfmt CI #1869: Commit 21a1c1f pushed by falkecarlsen
October 25, 2023 09:08 6m 18s lcgs-new-intermediate
lcgs-new-intermediate
October 25, 2023 09:08 6m 18s
fixup benchmarks for new lcgs AST CI #1868: Commit c96ce73 pushed by falkecarlsen
October 25, 2023 09:05 6m 8s lcgs-new-intermediate
lcgs-new-intermediate
October 25, 2023 09:05 6m 8s
Merge branch 'main' into lcgs-new-intermediate CI #1867: Commit c1d0c89 pushed by NicEastvillage
October 21, 2023 13:36 5m 47s lcgs-new-intermediate
lcgs-new-intermediate
October 21, 2023 13:36 5m 47s
Fix clippy and fmt issues CI #1866: Commit ced8c0a pushed by NicEastvillage
October 21, 2023 13:22 5m 47s lcgs-new-intermediate
lcgs-new-intermediate
October 21, 2023 13:22 5m 47s
Fix tests CI #1865: Commit 0024a8f pushed by NicEastvillage
October 21, 2023 13:05 5m 43s lcgs-new-intermediate
lcgs-new-intermediate
October 21, 2023 13:05 5m 43s
Improved some error spans CI #1864: Commit 705533b pushed by NicEastvillage
October 21, 2023 08:33 5m 49s lcgs-new-intermediate
lcgs-new-intermediate
October 21, 2023 08:33 5m 49s
Handle some TODOs CI #1863: Commit 63e7568 pushed by NicEastvillage
October 20, 2023 12:56 1m 23s lcgs-new-intermediate
lcgs-new-intermediate
October 20, 2023 12:56 1m 23s
Move symbol table building to symbol checker file CI #1862: Commit 569581b pushed by NicEastvillage
October 20, 2023 12:50 1m 8s lcgs-new-intermediate
lcgs-new-intermediate
October 20, 2023 12:50 1m 8s
Improve some error messages CI #1861: Commit fab9017 pushed by NicEastvillage
October 19, 2023 10:07 5m 55s lcgs-new-intermediate
lcgs-new-intermediate
October 19, 2023 10:07 5m 55s
Fix player name using wrong index and fmt CI #1860: Commit 6d41865 pushed by NicEastvillage
October 16, 2023 15:35 5m 19s lcgs-new-intermediate
lcgs-new-intermediate
October 16, 2023 15:35 5m 19s
Fix resolving of idents to symbol indexes CI #1859: Commit 69661f3 pushed by NicEastvillage
October 15, 2023 15:44 5m 47s lcgs-new-intermediate
lcgs-new-intermediate
October 15, 2023 15:44 5m 47s
Fix indexes of state labels in template decls CI #1858: Commit abe3635 pushed by NicEastvillage
October 15, 2023 15:24 5m 18s lcgs-new-intermediate
lcgs-new-intermediate
October 15, 2023 15:24 5m 18s
Fix use ident comparisons CI #1857: Commit 1534d49 pushed by NicEastvillage
October 15, 2023 15:07 4m 41s lcgs-new-intermediate
lcgs-new-intermediate
October 15, 2023 15:07 4m 41s
Merge pull request #231 from d702e20/readme-paper CI #1856: Commit d5bf831 pushed by falkecarlsen
October 4, 2023 08:19 4m 57s main
main
October 4, 2023 08:19 4m 57s
Merge branch 'main' into readme-paper CI #1855: Commit 4d13885 pushed by NicEastvillage
October 4, 2023 08:12 4m 17s readme-paper
readme-paper
October 4, 2023 08:12 4m 17s
Add paper to README CI #1854: Commit b0e2452 pushed by NicEastvillage
October 4, 2023 08:09 4m 11s readme-paper
readme-paper
October 4, 2023 08:09 4m 11s
Add RDFS search strategy (#230) CI #1853: Commit d485f68 pushed by NicEastvillage
October 4, 2023 07:55 4m 15s main
main
October 4, 2023 07:55 4m 15s
fmt CI #1852: Commit 3662b96 pushed by falkecarlsen
October 3, 2023 16:04 4m 23s rdfs
rdfs
October 3, 2023 16:04 4m 23s