diff options
author | John Fultz <jfultz@wolfram.com> | 2023-07-15 22:22:48 -0500 |
---|---|---|
committer | John Fultz <jfultz@wolfram.com> | 2023-07-15 22:22:48 -0500 |
commit | 6d1213ac9aace27f61f5fca24836bc89a75c6673 (patch) | |
tree | faa845c46f060f73d2e7974353800be1ecac8f0d /.gitignore | |
parent | 088fbc9c3810beda794345582d7bc4479100a177 (diff) |
More GitHub Actions updates.
* Remove deprecated Ubuntu, add new Ubuntu
* Fix usage of action/cache
* Remove Appveyor
* Update .gitignore for clangd cache
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,4 +1,5 @@ .sconsign +.cache .gitattributes .tags* .qmake.stash |