Skip to content

Actions: GaloisInc/language-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #10 from GaloisInc/allow-newer-happy CI #9: Commit f23c2b0 pushed by RyanGlScott
January 10, 2025 14:39 7m 29s master
master
January 10, 2025 14:39 7m 29s
Allow building with happy-2.1.1 or later CI #8: Pull request #10 opened by RyanGlScott
January 6, 2025 16:58 7m 15s allow-newer-happy
allow-newer-happy
January 6, 2025 16:58 7m 15s
Merge pull request #9 from GaloisInc/issue#8-limit-happy-to-less-than… CI #7: Commit ae59c73 pushed by yav
October 18, 2024 20:33 6m 45s master
master
October 18, 2024 20:33 6m 45s
Restrict happy version to less then 2.1 CI #6: Pull request #9 synchronize by yav
October 18, 2024 20:28 3m 9s issue#8-limit-happy-to-less-than-2.1
issue#8-limit-happy-to-less-than-2.1
October 18, 2024 20:28 3m 9s
Restrict happy version to less then 2.1 CI #5: Pull request #9 opened by yav
October 18, 2024 18:25 6m 59s issue#8-limit-happy-to-less-than-2.1
issue#8-limit-happy-to-less-than-2.1
October 18, 2024 18:25 6m 59s
Merge pull request #4 from GaloisInc/T3-fix-unicode-lexing CI #4: Commit 74a05b7 pushed by RyanGlScott
September 4, 2024 19:34 4m 1s master
master
September 4, 2024 19:34 4m 1s
Lexer: Properly support Unicode 15.1.0 CI #3: Pull request #4 synchronize by RyanGlScott
September 4, 2024 19:29 3m 50s T3-fix-unicode-lexing
T3-fix-unicode-lexing
September 4, 2024 19:29 3m 50s
Merge pull request #7 from GaloisInc/T5-github-actions CI #2: Commit 20dbbec pushed by RyanGlScott
September 4, 2024 17:47 7m 37s master
master
September 4, 2024 17:47 7m 37s
Make tests pass, migrate to GitHub Actions CI #1: Pull request #7 synchronize by RyanGlScott
September 3, 2024 13:49 7m 4s T5-github-actions
T5-github-actions
September 3, 2024 13:49 7m 4s