Skip to content

Actions: hannobraun/fornjot

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
409 workflow run results
409 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2105 from hannobraun/nix
CI #3881: Commit 0eb3915 pushed by hannobraun
November 22, 2023 16:32 2m 2s main
November 22, 2023 16:32 2m 2s
Merge pull request #2105 from hannobraun/nix
Continuous Deployment #1509: Commit 0eb3915 pushed by hannobraun
November 22, 2023 16:32 35s main
November 22, 2023 16:32 35s
Add configuration for developing on NixOS
CI #3880: Pull request #2105 synchronize by hannobraun
November 22, 2023 16:30 2m 11s nix
nix
November 22, 2023 16:30 2m 11s
Add configuration for developing on NixOS
CI #3879: Pull request #2105 opened by hannobraun
November 22, 2023 16:30 2m 54s nix
nix
November 22, 2023 16:30 2m 54s
Merge pull request #2104 from hannobraun/rust
CI #3878: Commit 9704e2d pushed by hannobraun
November 21, 2023 19:34 5m 40s main
November 21, 2023 19:34 5m 40s
Merge pull request #2104 from hannobraun/rust
Continuous Deployment #1508: Commit 9704e2d pushed by hannobraun
November 21, 2023 19:34 1m 16s main
November 21, 2023 19:34 1m 16s
Upgrade to Rust 1.74.0
CI #3877: Pull request #2104 opened by hannobraun
November 21, 2023 19:29 4m 21s rust
November 21, 2023 19:29 4m 21s
Merge pull request #2103 from hannobraun/sweep
Continuous Deployment #1507: Commit 9e9004c pushed by hannobraun
November 20, 2023 13:22 39s main
November 20, 2023 13:22 39s
Merge pull request #2103 from hannobraun/sweep
CI #3876: Commit 9e9004c pushed by hannobraun
November 20, 2023 13:22 2m 16s main
November 20, 2023 13:22 2m 16s
Move sweep to operations; do some clean-up
CI #3875: Pull request #2103 opened by hannobraun
November 20, 2023 13:20 1m 58s sweep
November 20, 2023 13:20 1m 58s
November 20, 2023 12:28 5m 30s
Merge pull request #2102 from hannobraun/dependabot/cargo/cargo-92cd2…
Continuous Deployment #1506: Commit d36fdba pushed by hannobraun
November 20, 2023 12:28 59s main
November 20, 2023 12:28 59s
Bump the cargo group with 4 updates
CI #3873: Pull request #2102 synchronize by hannobraun
November 20, 2023 12:25 3m 34s dependabot/cargo/cargo-92cd2241ed
November 20, 2023 12:25 3m 34s
Bump the cargo group with 4 updates
CI #3872: Pull request #2102 opened by dependabot bot
November 20, 2023 12:12 4m 31s dependabot/cargo/cargo-92cd2241ed
November 20, 2023 12:12 4m 31s
Merge pull request #2101 from hannobraun/vertex
CI #3871: Commit 70c073f pushed by hannobraun
November 17, 2023 13:23 2m 14s main
November 17, 2023 13:23 2m 14s
Merge pull request #2101 from hannobraun/vertex
Continuous Deployment #1505: Commit 70c073f pushed by hannobraun
November 17, 2023 13:23 44s main
November 17, 2023 13:23 44s
Improve documentation of Vertex
CI #3870: Pull request #2101 opened by hannobraun
November 17, 2023 13:21 1m 52s vertex
November 17, 2023 13:21 1m 52s
Merge pull request #2100 from hannobraun/operations
Continuous Deployment #1504: Commit ec52d9f pushed by hannobraun
November 16, 2023 12:56 38s main
November 16, 2023 12:56 38s
Merge pull request #2100 from hannobraun/operations
CI #3869: Commit ec52d9f pushed by hannobraun
November 16, 2023 12:56 1m 59s main
November 16, 2023 12:56 1m 59s
Properly document operations module
CI #3868: Pull request #2100 opened by hannobraun
November 16, 2023 12:54 2m 15s operations
November 16, 2023 12:54 2m 15s
Merge pull request #2099 from hannobraun/sweep
Continuous Deployment #1503: Commit 154ad98 pushed by hannobraun
November 16, 2023 10:50 41s main
November 16, 2023 10:50 41s
Merge pull request #2099 from hannobraun/sweep
CI #3867: Commit 154ad98 pushed by hannobraun
November 16, 2023 10:50 2m 26s main
November 16, 2023 10:50 2m 26s
Clean up face sweeping code
CI #3866: Pull request #2099 opened by hannobraun
November 16, 2023 10:48 2m 26s sweep
November 16, 2023 10:48 2m 26s
Merge pull request #2097 from hannobraun/split
Continuous Deployment #1502: Commit 7203ac5 pushed by hannobraun
November 15, 2023 13:46 44s main
November 15, 2023 13:46 44s
Merge pull request #2097 from hannobraun/split
CI #3865: Commit 7203ac5 pushed by hannobraun
November 15, 2023 13:46 3m 2s main
November 15, 2023 13:46 3m 2s