enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-26 08:52:58 +03:00
Code Issues Projects Releases Wiki Activity
3,555 Commits 119 Branches 891 Tags 261 MiB
e693147c17
Commit Graph

52 Commits

Author SHA1 Message Date
Michał Wawrzyniec Urbańczyk
e188b15973
Fetch the remote branch before comparing. (#3794) 2022-10-13 19:41:20 +02:00
Michał Wawrzyniec Urbańczyk
ad69eeb4ad
Build script merge (#3743) 
Merged the build script into main repository. Some related cleanups.
 2022-10-10 23:38:48 +02:00