Skip to content

Actions: Gohla/pie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix import.
Test #12: Commit 3fcfcc0 pushed by Gohla
January 20, 2024 13:57 1m 54s main
January 20, 2024 13:57 1m 54s
Simplify and test trait objects, implement object-safe OutputChecker.
Test #11: Commit db66785 pushed by Gohla
January 20, 2024 11:32 1m 46s main
January 20, 2024 11:32 1m 46s
Trace correct subject in bottom-up builds.
Test #10: Commit cd7c7e6 pushed by Gohla
January 11, 2024 15:04 54s main
January 11, 2024 15:04 54s
Fix use of nightly features.
Test #9: Commit bcc294e pushed by Gohla
January 11, 2024 10:31 1m 13s main
January 11, 2024 10:31 1m 13s
January 10, 2024 16:36 1m 56s
Cleanup.
Test #7: Commit e0115ec pushed by Gohla
October 27, 2023 09:37 1m 14s main
October 27, 2023 09:37 1m 14s
Fix bottom-up build tests.
Test #6: Commit 39a4724 pushed by Gohla
October 27, 2023 09:03 1m 15s main
October 27, 2023 09:03 1m 15s
Use local pie_graph.
Test #5: Commit 14260a9 pushed by Gohla
October 26, 2023 14:37 1m 41s main
October 26, 2023 14:37 1m 41s
Fix non_hidden_dependency test.
Test #4: Commit 6c3ae41 pushed by Gohla
October 26, 2023 14:23 2m 2s main
October 26, 2023 14:23 2m 2s
Resource abstraction and support arbitrary task/resource types.
Test #3: Commit 06b0652 pushed by Gohla
October 26, 2023 14:14 1m 44s main
October 26, 2023 14:14 1m 44s
Update branch.
Test #2: Commit 5cb5b94 pushed by Gohla
October 26, 2023 12:15 4m 1s main
October 26, 2023 12:15 4m 1s
pages build and deployment
pages-build-deployment #109: by Gohla
October 26, 2023 12:12 45s gh-pages
October 26, 2023 12:12 45s
Move tutorial to separate repository: https://github.com/Gohla/pibs.
Test #1: Commit 2893504 pushed by Gohla
October 26, 2023 12:06 3m 43s master
October 26, 2023 12:06 3m 43s
pages build and deployment
pages-build-deployment #108: by github-pages bot
October 25, 2023 14:40 39s gh-pages
October 25, 2023 14:40 39s
Improve setup.
Build #126: Commit e60d4b6 pushed by Gohla
October 25, 2023 14:36 6m 6s master
October 25, 2023 14:36 6m 6s
Improve setup.
Publish tutorial #126: Commit e60d4b6 pushed by Gohla
October 25, 2023 14:36 3m 59s master
October 25, 2023 14:36 3m 59s
pages build and deployment
pages-build-deployment #107: by github-pages bot
October 25, 2023 14:24 41s gh-pages
October 25, 2023 14:24 41s
Fix source code link.
Publish tutorial #125: Commit 63b19e1 pushed by Gohla
October 25, 2023 14:20 3m 44s master
October 25, 2023 14:20 3m 44s
Fix source code link.
Build #125: Commit 63b19e1 pushed by Gohla
October 25, 2023 14:20 7m 46s master
October 25, 2023 14:20 7m 46s
pages build and deployment
pages-build-deployment #106: by github-pages bot
October 25, 2023 14:16 40s gh-pages
October 25, 2023 14:16 40s
Improve API section.
Build #124: Commit e5e8448 pushed by Gohla
October 25, 2023 14:12 6m 24s master
October 25, 2023 14:12 6m 24s
Improve API section.
Publish tutorial #124: Commit e5e8448 pushed by Gohla
October 25, 2023 14:12 4m 10s master
October 25, 2023 14:12 4m 10s
pages build and deployment
pages-build-deployment #105: by github-pages bot
October 25, 2023 13:50 40s gh-pages
October 25, 2023 13:50 40s
Improve setup and add small programmability introduction.
Publish tutorial #123: Commit eebe49b pushed by Gohla
October 25, 2023 13:47 3m 19s master
October 25, 2023 13:47 3m 19s
Improve setup and add small programmability introduction.
Build #123: Commit eebe49b pushed by Gohla
October 25, 2023 13:47 6m 50s master
October 25, 2023 13:47 6m 50s