Skip to content

Actions: antoyo/tiger-rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from antoyo/ci/update-ubuntu CI #46: Commit 319e957 pushed by antoyo
January 24, 2025 15:46 55s master
master
January 24, 2025 15:46 55s
Update to Ubuntu 24.04 in the CI CI #45: Pull request #6 synchronize by antoyo
January 24, 2025 15:45 53s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:45 53s
Fix clippy warnings CI #44: Commit e78ed08 pushed by antoyo
January 24, 2025 15:45 51s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:45 51s
Update to Ubuntu 24.04 in the CI CI #43: Pull request #6 synchronize by antoyo
January 24, 2025 15:42 51s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:42 51s
Print the expected and actual output in the tests CI #42: Commit e47e352 pushed by antoyo
January 24, 2025 15:42 53s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:42 53s
Update to Ubuntu 24.04 in the CI CI #41: Pull request #6 synchronize by antoyo
January 24, 2025 15:23 51s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:23 51s
Print the expected and actual output in the tests CI #40: Commit 0101503 pushed by antoyo
January 24, 2025 15:23 55s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:23 55s
Update to Ubuntu 24.04 in the CI CI #39: Pull request #6 synchronize by antoyo
January 24, 2025 15:10 1m 56s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:10 1m 56s
Update to Ubuntu 24.04 in the CI CI #38: Commit 55c3ef9 pushed by antoyo
January 24, 2025 15:10 52s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:10 52s
Update to Ubuntu 24.04 in the CI CI #37: Pull request #6 opened by antoyo
January 24, 2025 15:01 59s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:01 59s
Update to Ubuntu 24.04 in the CI CI #36: Commit e943670 pushed by antoyo
January 24, 2025 15:00 52s ci/update-ubuntu
ci/update-ubuntu
January 24, 2025 15:00 52s
Add parametric polymorphism and type inference CI #35: Pull request #5 synchronize by antoyo
November 15, 2024 16:52 52s feature/parametric-polymorphism
feature/parametric-polymorphism
November 15, 2024 16:52 52s
Start of semantic analysis for polymorphic code CI #34: Commit da40403 pushed by antoyo
November 15, 2024 16:52 54s feature/parametric-polymorphism
feature/parametric-polymorphism
November 15, 2024 16:52 54s
Add parametric polymorphism and type inference CI #33: Pull request #5 synchronize by antoyo
November 14, 2024 01:08 1m 2s feature/parametric-polymorphism
feature/parametric-polymorphism
November 14, 2024 01:08 1m 2s
Add missing syntax for polymorphic types CI #32: Commit 225f9fa pushed by antoyo
November 14, 2024 01:07 1m 6s feature/parametric-polymorphism
feature/parametric-polymorphism
November 14, 2024 01:07 1m 6s
Add parametric polymorphism and type inference CI #31: Pull request #5 synchronize by antoyo
November 13, 2024 00:03 53s feature/parametric-polymorphism
feature/parametric-polymorphism
November 13, 2024 00:03 53s
Switch to a type representation supporting parametric polymorphism CI #30: Commit 9bb48ea pushed by antoyo
November 13, 2024 00:03 53s feature/parametric-polymorphism
feature/parametric-polymorphism
November 13, 2024 00:03 53s
Add parametric polymorphism and type inference CI #29: Pull request #5 opened by antoyo
November 12, 2024 23:52 50s feature/parametric-polymorphism
feature/parametric-polymorphism
November 12, 2024 23:52 50s
Switch to a type representation supporting parametric polymorphism CI #28: Commit c150d79 pushed by antoyo
November 12, 2024 23:52 50s feature/parametric-polymorphism
feature/parametric-polymorphism
November 12, 2024 23:52 50s
Implement PureFun-Tiger CI #27: Pull request #4 synchronize by antoyo
November 9, 2024 19:54 47s functional-tiger
functional-tiger
November 9, 2024 19:54 47s
Fix clippy warnings CI #26: Commit 7ee332a pushed by antoyo
November 9, 2024 19:54 43s functional-tiger
functional-tiger
November 9, 2024 19:54 43s
Implement PureFun-Tiger CI #25: Pull request #4 synchronize by antoyo
November 9, 2024 15:40 35s functional-tiger
functional-tiger
November 9, 2024 15:40 35s
Implement PureFun-Tiger CI #24: Commit 4ff7686 pushed by antoyo
November 9, 2024 15:40 50s functional-tiger
functional-tiger
November 9, 2024 15:40 50s
Implement PureFun-Tiger CI #23: Pull request #4 synchronize by antoyo
November 9, 2024 14:15 26s functional-tiger
functional-tiger
November 9, 2024 14:15 26s
Implement closure conversion CI #22: Commit 2ea70c2 pushed by antoyo
November 9, 2024 14:15 36s functional-tiger
functional-tiger
November 9, 2024 14:15 36s