Skip to content

Actions: ValeLang/Vale

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #634 from Verdagon/master CI #499: Commit 6fb9832 pushed by Verdagon
May 14, 2024 13:00 7m 56s master
master
May 14, 2024 13:00 7m 56s
Fixes for ARM, VmdSiteGen, and linear types. CI #498: Pull request #634 opened by Verdagon
May 14, 2024 12:59 6m 46s Verdagon:master
Verdagon:master
May 14, 2024 12:59 6m 46s
Update ci.yml for Arm macs CI #497: Pull request #633 synchronize by Verdagon
March 12, 2024 22:31 8m 46s Verdagon:m2
Verdagon:m2
March 12, 2024 22:31 8m 46s
Update ci.yml for Arm macs CI #496: Pull request #633 opened by Verdagon
March 12, 2024 21:23 8m 46s Verdagon:m2
Verdagon:m2
March 12, 2024 21:23 8m 46s
Update README.md CI #495: Commit 4009c50 pushed by Verdagon
December 19, 2023 18:02 13m 18s master
master
December 19, 2023 18:02 13m 18s
Update README.md CI #494: Commit 1a3638f pushed by Verdagon
December 19, 2023 02:53 6m 52s master
master
December 19, 2023 02:53 6m 52s
Update README.md CI #493: Commit 72da3c1 pushed by Verdagon
December 19, 2023 02:51 6m 40s master
master
December 19, 2023 02:51 6m 40s
Added AttemptedCandidate for regions compatibility CI #491: Commit 02f39df pushed by Verdagon
September 3, 2023 00:47 9m 25s master
master
September 3, 2023 00:47 9m 25s
Updated JDK version CI #490: Commit 0d2876c pushed by Verdagon
September 2, 2023 20:41 8m 1s master
master
September 2, 2023 20:41 8m 1s
Post-generics cleanup: Made instantiation bound params match up with … CI #489: Commit 84e5e48 pushed by Verdagon
September 2, 2023 01:38 8m 1s master
master
September 2, 2023 01:38 8m 1s
Adding overload index CI #488: Pull request #623 opened by Verdagon
July 26, 2023 16:47 30m 13s Verdagon:overloads
Verdagon:overloads
July 26, 2023 16:47 30m 13s
Merge pull request #622 from Verdagon/solve CI #487: Commit b79258f pushed by Verdagon
July 22, 2023 18:49 1h 4m 39s master
master
July 22, 2023 18:49 1h 4m 39s
Simplifying solving layer naming and params CI #486: Pull request #622 opened by Verdagon
July 22, 2023 15:33 45m 54s Verdagon:solve
Verdagon:solve
July 22, 2023 15:33 45m 54s
Merge pull request #621 from Verdagon/regionsmerge16 CI #485: Commit 0883036 pushed by Verdagon
July 20, 2023 17:10 57m 4s master
master
July 20, 2023 17:10 57m 4s
Update README.md CI #484: Commit 5b7aa49 pushed by Verdagon
July 20, 2023 15:58 58m 18s master
master
July 20, 2023 15:58 58m 18s
Regions merge: forwarding pure block and using new augment logic CI #483: Pull request #621 opened by Verdagon
July 20, 2023 15:53 50m 38s Verdagon:regionsmerge16
Verdagon:regionsmerge16
July 20, 2023 15:53 50m 38s
Merge pull request #620 from Verdagon/regionsmerge15 CI #482: Commit ea2d118 pushed by Verdagon
July 20, 2023 15:52 57m 58s master
master
July 20, 2023 15:52 57m 58s
Regions merge: Pulled coercing logic into higher typing phase CI #481: Pull request #620 synchronize by Verdagon
July 20, 2023 15:01 55m 59s Verdagon:regionsmerge15
Verdagon:regionsmerge15
July 20, 2023 15:01 55m 59s
Regions merge: Pulled coercing logic into higher typing phase CI #480: Pull request #620 opened by Verdagon
July 20, 2023 14:53 11m 12s Verdagon:regionsmerge15
Verdagon:regionsmerge15
July 20, 2023 14:53 11m 12s
Merge pull request #619 from Verdagon/regionsmerge14 CI #479: Commit c95cd4b pushed by Verdagon
July 14, 2023 03:36 47m 55s master
master
July 14, 2023 03:36 47m 55s
Regions merge: tuples, function returns, incremental solves CI #478: Pull request #619 synchronize by Verdagon
July 14, 2023 02:28 50m 6s Verdagon:regionsmerge14
Verdagon:regionsmerge14
July 14, 2023 02:28 50m 6s
Regions merge: tuples, function returns, incremental solves CI #477: Pull request #619 opened by Verdagon
July 14, 2023 01:38 10m 0s Verdagon:regionsmerge14
Verdagon:regionsmerge14
July 14, 2023 01:38 10m 0s
Merge pull request #618 from Verdagon/regionsmerge13 CI #476: Commit bf1d85a pushed by Verdagon
July 13, 2023 23:01 51m 8s master
master
July 13, 2023 23:01 51m 8s
Merging from regions CI #475: Pull request #618 synchronize by Verdagon
July 13, 2023 22:15 50m 5s Verdagon:regionsmerge13
Verdagon:regionsmerge13
July 13, 2023 22:15 50m 5s
Merging from regions CI #474: Pull request #618 opened by Verdagon
July 13, 2023 22:08 44m 7s Verdagon:regionsmerge13
Verdagon:regionsmerge13
July 13, 2023 22:08 44m 7s