Skip to content

Actions: phijor/cornelis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Nix flake inputs CI #36: Commit 22c6e51 pushed by phijor
May 17, 2024 17:48 25m 47s fix-testsuite
fix-testsuite
May 17, 2024 17:48 25m 47s
Update Nix flake inputs Nix Agda CI #19: Commit 22c6e51 pushed by phijor
May 17, 2024 17:48 2m 16s fix-testsuite
fix-testsuite
May 17, 2024 17:48 2m 16s
fixup! test: Verify that agda and nvim are executable CI #35: Commit e951969 pushed by phijor
May 17, 2024 09:59 28m 30s fix-testsuite
fix-testsuite
May 17, 2024 09:59 28m 30s
v2.0.0.1 Nix Agda CI #18: Commit 06d6020 pushed by phijor
May 17, 2024 09:21 7m 50s master
master
May 17, 2024 09:21 7m 50s
v2.0.0.1 CI #34: Commit 06d6020 pushed by phijor
May 17, 2024 09:21 37m 9s master
master
May 17, 2024 09:21 37m 9s
flake.lock: Update Nix Agda CI #17: Commit 7b9fd5c pushed by phijor
May 17, 2024 09:20 2m 43s fix-testsuite
fix-testsuite
May 17, 2024 09:20 2m 43s
flake.lock: Update CI #33: Commit 7b9fd5c pushed by phijor
May 17, 2024 09:20 33m 15s fix-testsuite
fix-testsuite
May 17, 2024 09:20 33m 15s
Include Agda files needed for tests in sdist CI #32: Commit 4736aa2 pushed by phijor
May 16, 2024 17:06 18m 2s fix-missing-sdist-files
fix-missing-sdist-files
May 16, 2024 17:06 18m 2s
Ignore failed writes when loading buffer CI #31: Commit 60fa86a pushed by phijor
May 14, 2024 18:08 35m 35s fix-loading-ro-files
fix-loading-ro-files
May 14, 2024 18:08 35m 35s
test: Open files in Neovim without creating swap files CI #30: Commit 645552e pushed by phijor
April 11, 2024 20:30 47m 4s fix-testsuite
fix-testsuite
April 11, 2024 20:30 47m 4s
test: Open files in Neovim without creating swap files Nix Agda CI #16: Commit 645552e pushed by phijor
April 11, 2024 20:30 3m 12s fix-testsuite
fix-testsuite
April 11, 2024 20:30 3m 12s
ci: Run stack tests in default Nix shell CI #29: Commit 723c841 pushed by phijor
April 11, 2024 19:40 36m 27s fix-testsuite
fix-testsuite
April 11, 2024 19:40 36m 27s
ci: Run stack tests in default Nix shell Nix Agda CI #15: Commit 723c841 pushed by phijor
April 11, 2024 19:40 2m 52s fix-testsuite
fix-testsuite
April 11, 2024 19:40 2m 52s
docs: Document nix development setup CI #28: Commit eec2d31 pushed by phijor
April 11, 2024 18:31 45m 27s fix-testsuite
fix-testsuite
April 11, 2024 18:31 45m 27s
docs: Document nix development setup Nix Agda CI #14: Commit eec2d31 pushed by phijor
April 11, 2024 18:31 2m 42s fix-testsuite
fix-testsuite
April 11, 2024 18:31 2m 42s
test: Open files in Neovim without creating swap files CI #27: Commit f87876f pushed by phijor
April 11, 2024 13:18 2s fix-testsuite
fix-testsuite
April 11, 2024 13:18 2s
test: Open files in Neovim without creating swap files Nix Agda CI #13: Commit f87876f pushed by phijor
April 11, 2024 13:18 3m 23s fix-testsuite
fix-testsuite
April 11, 2024 13:18 3m 23s
fixup! test: Fix broken helper function test CI #26: Commit 36c0ae7 pushed by phijor
April 11, 2024 10:18 35m 22s fix-testsuite
fix-testsuite
April 11, 2024 10:18 35m 22s
test: Verify that agda is executable CI #25: Commit b9ba38e pushed by phijor
April 11, 2024 10:17 37m 23s fix-testsuite
fix-testsuite
April 11, 2024 10:17 37m 23s
test: Run tests in parallel CI #24: Commit 57f5eab pushed by phijor
April 11, 2024 10:02 1h 15m 4s fix-testsuite
fix-testsuite
April 11, 2024 10:02 1h 15m 4s
test: Run tests in parallel Nix Agda CI #12: Commit 57f5eab pushed by phijor
April 11, 2024 10:02 4m 28s fix-testsuite
fix-testsuite
April 11, 2024 10:02 4m 28s
Reduce closure size of Nix derivation CI #23: Commit 212e999 pushed by phijor
April 7, 2024 16:58 30m 52s reduce-closure-size
reduce-closure-size
April 7, 2024 16:58 30m 52s
Reduce closure size of Nix derivation Nix Agda CI #11: Commit 212e999 pushed by phijor
April 7, 2024 16:58 3m 15s reduce-closure-size
reduce-closure-size
April 7, 2024 16:58 3m 15s
Reduce closure size of Nix derivation CI #22: Commit 6ce1846 pushed by phijor
April 7, 2024 16:12 38m 39s reduce-closure-size
reduce-closure-size
April 7, 2024 16:12 38m 39s
Reduce closure size of Nix derivation Nix Agda CI #10: Commit 6ce1846 pushed by phijor
April 7, 2024 16:12 10m 32s reduce-closure-size
reduce-closure-size
April 7, 2024 16:12 10m 32s