8000 CI · Workflow runs · exo-lang/exo · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: exo-lang/exo

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
707 workflow runs
707 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix unification
CI #2577: Pull request #783 opened by yamaguchi1024
May 6, 2025 00:27 1m 23s fix_unification
May 6, 2025 00:27 1m 23s
Add godbolt / fix links (#782)
CI #2576: Commit 4a0b325 pushed by yamaguchi1024
May 2, 2025 19:31 20m 25s main
May 2, 2025 19:31 20m 25s
Add godbolt / fix links
CI #2575: Pull request #782 opened by yamaguchi1024
May 2, 2025 19:31 19m 27s readome
May 2, 2025 19:31 19m 27s
Bump pillow from 11.0.0 to 11.2.1 (#781)
CI #2574: Commit 555a5c5 pushed by yamaguchi1024
May 2, 2025 18:47 19m 41s main
May 2, 2025 18:47 19m 41s
Bump pytest-cov from 6.0.0 to 6.1.1 (#780)
CI #2572: Commit 7602b9d pushed by yamaguchi1024
May 2, 2025 17:02 20m 15s main
May 2, 2025 17:02 20m 15s
Bump pillow from 11.0.0 to 11.2.1
CI #2571: Pull request #781 opened by dependabot bot
May 1, 2025 09:26 19m 37s dependabot/pip/pillow-11.2.1
May 1, 2025 09:26 19m 37s
Add Arm SVE instructions support
CI #2569: Pull request #777 synchronize by eyr1n
April 24, 2025 00:42 20m 44s eyr1n:dev/sve
April 24, 2025 00:42 20m 44s
Add Arm SVE instructions support
CI #2568: Pull request #777 synchronize by eyr1n
April 24, 2025 00:35 11m 7s eyr1n:dev/sve
April 24, 2025 00:35 11m 7s
Add Arm SVE instructions support
CI #2567: Pull request #777 synchronize by eyr1n
April 22, 2025 02:05 19m 37s eyr1n:dev/sve
April 22, 2025 02:05 19m 37s
Add Arm SVE instructions support
CI #2566: Pull request #777 synchronize by eyr1n
April 22, 2025 02:04 1m 23s eyr1n:dev/sve
April 22, 2025 02:04 1m 23s
Add Arm SVE instructions support
CI #2565: Pull request #777 synchronize by eyr1n
April 21, 2025 21:44 20m 35s eyr1n:dev/sve
April 21, 2025 21:44 20m 35s
Add Arm SVE instructions support
CI #2564: Pull request #777 opened by eyr1n
April 21, 2025 20:06 19m 26s eyr1n:dev/sve
April 21, 2025 20:06 19m 26s
Bump coverage from 7.6.12 to 7.8.0 (#771)
CI #2563: Commit d232bff pushed by yamaguchi1024
April 10, 2025 10:52 19m 20s main
April 10, 2025 10:52 19m 20s
Bump coverage from 7.6.12 to 7.8.0
CI #2562: Pull request #771 synchronize by dependabot bot
April 10, 2025 09:49 19m 11s dependabot/pip/coverage-7.8.0
April 10, 2025 09:49 19m 11s
Bump tox from 4.23.2 to 4.25.0 (#772)
CI #2561: Commit 599310e pushed by yamaguchi1024
April 10, 2025 09:48 20m 25s main
April 10, 2025 09:48 20m 25s
Bump coverage from 7.6.12 to 7.8.0
CI #2560: Pull request #771 synchronize by dependabot bot
April 10, 2025 08:39 31m 49s dependabot/pip/coverage-7.8.0
April 10, 2025 08:39 31m 49s
Bump tox from 4.23.2 to 4.25.0
CI #2559: Pull request #772 synchronize by dependabot bot
April 10, 2025 08:39 25m 19s dependabot/pip/tox-4.25.0
April 10, 2025 08:39 25m 19s
Bump pre-commit from 4.0.1 to 4.2.0 (#773)
CI #2558: Commit a7bed23 pushed by yamaguchi1024
April 10, 2025 08:39 23m 14s main
April 10, 2025 08:39 23m 14s
Bump pre-commit from 4.0.1 to 4.2.0
CI #2557: Pull request #773 synchronize by yamaguchi1024
April 10, 2025 08:39 21m 59s dependabot/pip/pre-commit-4.2.0
April 10, 2025 08:39 21m 59s
Bump pytest from 8.3.4 to 8.3.5 (#774)
CI #2556: Commit 336cdad pushed by yamaguchi1024
April 10, 2025 08:38 19m 22s main
April 10, 2025 08:38 19m 22s
Bump pytest from 8.3.4 to 8.3.5
CI #2555: Pull request #774 synchronize by yamaguchi1024
April 10, 2025 08:38 21m 22s dependabot/pip/pytest-8.3.5
April 10, 2025 08:38 21m 22s
Bump z3-solver from 4.14.0.0 to 4.14.1.0 (#775)
CI #2554: Commit a564024 pushed by yamaguchi1024
April 10, 2025 08:38 21m 53s main
April 10, 2025 08:38 21m 53s
0