All Workflows test.yaml

91 workflow runs

Actor

All actors yannickreiss

Status

All status Success Failure Waiting Running

Update

#91:Commit 3db17f9849 pushed by yannickreiss

master

2025-08-01 09:35:48 +02:00

0s

View workflow file

Create nix interpreter output

#90:Commit 8564daf4b5 pushed by yannickreiss

master

2025-07-18 21:35:48 +02:00

0s

View workflow file

Markdown preview

#89:Commit f19f71c182 pushed by yannickreiss

master

2025-07-16 21:35:48 +02:00

0s

View workflow file

Cyberdream

#88:Commit 084fff8e1a pushed by yannickreiss

master

2025-07-11 15:35:48 +02:00

0s

View workflow file

Add lean snippets and do Neovide

#87:Commit 82226b4f78 pushed by yannickreiss

master

2025-07-09 21:35:48 +02:00

0s

View workflow file

Merge branch 'master' of git.nickr.eu:yannickreiss/nvim

#86:Commit c4c65c4e65 pushed by yannickreiss

master

2025-06-26 21:35:48 +02:00

0s

View workflow file

Resolve merge conflicts

#85:Commit 437ce3ff2e pushed by yannickreiss

master

2025-06-25 15:35:48 +02:00

0s

View workflow file

Ada proofs

#84:Commit 7daedc0b31 pushed by yannickreiss

master

2025-06-24 14:58:25 +02:00

0s

View workflow file

Prove framework

#83:Commit 5ee0540a2e pushed by yannickreiss

master

2025-06-16 15:35:48 +02:00

0s

View workflow file

Add function to prove ada/Spark code

#82:Commit 41ec16380b pushed by yannickreiss

master

2025-06-15 14:53:28 +02:00

0s

View workflow file

Ada mode update

#81:Commit d79f1fd6d4 pushed by yannickreiss

master

2025-06-12 15:35:48 +02:00

0s

View workflow file

Remove unused features from config

#80:Commit 742e6f614a pushed by yannickreiss

master

2025-05-23 09:35:48 +02:00

0s

View workflow file

Change default from rel to abs number

#79:Commit 730ec3b4bd pushed by yannickreiss

master

2025-05-22 08:44:07 +02:00

0s

View workflow file

Update

#78:Commit 1234f9bd4c pushed by yannickreiss

master

2025-05-21 22:36:32 +02:00

0s

View workflow file

Remove lazy lock from repo

#77:Commit 12a3293fff pushed by yannickreiss

master

2025-03-31 11:09:15 +02:00

28s

View workflow file

No ensure installed lsps

#76:Commit 9da04ad7e8 pushed by yannickreiss

master

2025-03-28 07:47:44 +01:00

20s

View workflow file

Change default colorscheme

#75:Commit c91101470c pushed by yannickreiss

master

2025-03-27 11:33:30 +01:00

27s

View workflow file

Snippets

#74:Commit b11d36ba16 pushed by yannickreiss

master

2025-03-25 08:52:23 +01:00

26s

View workflow file

Add ignore

#73:Commit 67eaafaee9 pushed by yannickreiss

master

2025-03-18 11:32:05 +01:00

28s

View workflow file

Mail client

#72:Commit a02cf6a902 pushed by yannickreiss

master

2025-03-18 11:05:19 +01:00

22s

View workflow file

Add mail client to nvim

#71:Commit ae06236c2c pushed by yannickreiss

master

2025-03-18 11:01:50 +01:00

32s

View workflow file

add password file to gitignore

#70:Commit 339d5b1197 pushed by yannickreiss

master

2025-03-18 11:01:18 +01:00

24s

View workflow file

Python updates

#69:Commit 06c098c194 pushed by yannickreiss

master

2025-03-15 19:20:08 +01:00

52s

View workflow file

Adjust Ada snippets to styleguide

#68:Commit 886d434849 pushed by yannickreiss

master

2025-02-24 07:37:32 +01:00

27s

View workflow file

Spell

#67:Commit cca29ca695 pushed by yannickreiss

master

2025-02-04 08:19:43 +01:00

23s

View workflow file

Set ada configuration file dynamically on startup

#66:Commit f4909335c1 pushed by yannickreiss

master

2025-02-04 07:26:23 +01:00

24s

View workflow file

Change some defaults and the completion window looks

#65:Commit c8be7d19a7 pushed by yannickreiss

master

2025-02-03 15:01:13 +01:00

30s

View workflow file

Spell check

#64:Commit 443a0cb897 pushed by yannickreiss

master

2025-02-01 07:17:13 +01:00

21s

View workflow file

Add ada mode

#63:Commit 5b1d0d66de pushed by yannickreiss

master

2025-01-24 21:41:59 +01:00

31s

View workflow file

Add screenkey mapping

#62:Commit 59dc3784af pushed by yannickreiss

master

2024-12-27 16:09:43 +01:00

30s

View workflow file